diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-13 11:55:41 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-13 11:55:41 -0400 |
| commit | 6e5dfa6ad6aca6aa19b7d1348817bd2c23d8fdad (patch) | |
| tree | 41f0bf32aa0029c669c7fc72cb31553bbaf1170e /_CoqProject | |
| parent | 4ecdd6ca43af688e5cd36ec9ab2496c4e192477d (diff) | |
Split off more of ZUtil
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 |