diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 7d440951a..d62d571b6 100644 --- a/_CoqProject +++ b/_CoqProject @@ -312,6 +312,7 @@ src/Util/ZUtil/Hints/Core.v src/Util/ZUtil/Hints/PullPush.v src/Util/ZUtil/Hints/ZArith.v src/Util/ZUtil/Hints/Ztestbit.v +src/Util/ZUtil/Modulo/PullPush.v src/Util/ZUtil/Tactics/CompareToSgn.v src/Util/ZUtil/Tactics/DivModToQuotRem.v src/Util/ZUtil/Tactics/DivideExistsMul.v @@ -319,11 +320,13 @@ src/Util/ZUtil/Tactics/LinearSubstitute.v src/Util/ZUtil/Tactics/LtbToLt.v src/Util/ZUtil/Tactics/PeelLe.v src/Util/ZUtil/Tactics/PrimeBound.v +src/Util/ZUtil/Tactics/PullPush.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 +src/Util/ZUtil/Tactics/PullPush/Modulo.v src/Util/ZUtil/ZSimplify/Autogenerated.v src/Util/ZUtil/ZSimplify/Core.v src/Util/ZUtil/ZSimplify/Simple.v |