diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index b71a4d245..56d473b25 100644 --- a/_CoqProject +++ b/_CoqProject @@ -294,13 +294,29 @@ src/Util/Tactics/UnifyAbstractReflexivity.v src/Util/Tactics/UniquePose.v src/Util/Tactics/VM.v src/Util/ZUtil/Definitions.v +src/Util/ZUtil/Div.v src/Util/ZUtil/Hints.v src/Util/ZUtil/Morphisms.v src/Util/ZUtil/Notations.v src/Util/ZUtil/Stabilization.v +src/Util/ZUtil/Tactics.v +src/Util/ZUtil/Testbit.v +src/Util/ZUtil/ZSimplify.v 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/Tactics/CompareToSgn.v +src/Util/ZUtil/Tactics/DivModToQuotRem.v +src/Util/ZUtil/Tactics/DivideExistsMul.v +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/ReplaceNegWithPos.v +src/Util/ZUtil/Tactics/SimplifyFractionsLe.v +src/Util/ZUtil/Tactics/ZeroBounds.v +src/Util/ZUtil/Tactics/Ztestbit.v +src/Util/ZUtil/ZSimplify/Autogenerated.v src/Util/ZUtil/ZSimplify/Core.v +src/Util/ZUtil/ZSimplify/Simple.v |