diff options
| author | Brian Campbell | 2019-03-27 11:50:39 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-27 15:03:54 +0000 |
| commit | deab63011f13417cf305d292a5bf959bd20b79bc (patch) | |
| tree | ce9546d053a66e02df264e69ac62bba5262ca5ff /src/rewrites.mli | |
| parent | a58626b117a3a11e48d66ec18892f1c5c1d93cab (diff) | |
Coq: add a little knowledge about ZEuclid.div
Diffstat (limited to 'src/rewrites.mli')
0 files changed, 0 insertions, 0 deletions