diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-13 12:44:43 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-13 12:44:43 -0400 |
| commit | 401058d999a6eaa38ce31b2ee9356a65b63498d2 (patch) | |
| tree | 12d050078c95a25a8f00e982196bbe1e64989415 /_CoqProject | |
| parent | a30bbfe60d619e13601985340b1b70b150aecc28 (diff) | |
Split off more ZUtil things
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 1a15e0fc4..7d440951a 100644 --- a/_CoqProject +++ b/_CoqProject @@ -295,12 +295,15 @@ src/Util/Tactics/UniquePose.v src/Util/Tactics/VM.v src/Util/ZUtil/Definitions.v src/Util/ZUtil/Div.v +src/Util/ZUtil/EquivModulo.v src/Util/ZUtil/Hints.v src/Util/ZUtil/Land.v src/Util/ZUtil/Modulo.v src/Util/ZUtil/Morphisms.v src/Util/ZUtil/Notations.v src/Util/ZUtil/Pow2Mod.v +src/Util/ZUtil/Quot.v +src/Util/ZUtil/Sgn.v src/Util/ZUtil/Stabilization.v src/Util/ZUtil/Tactics.v src/Util/ZUtil/Testbit.v @@ -317,6 +320,7 @@ src/Util/ZUtil/Tactics/LtbToLt.v src/Util/ZUtil/Tactics/PeelLe.v src/Util/ZUtil/Tactics/PrimeBound.v src/Util/ZUtil/Tactics/ReplaceNegWithPos.v +src/Util/ZUtil/Tactics/RewriteModSmall.v src/Util/ZUtil/Tactics/SimplifyFractionsLe.v src/Util/ZUtil/Tactics/ZeroBounds.v src/Util/ZUtil/Tactics/Ztestbit.v |