diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-13 13:09:48 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-05-13 13:09:48 -0400 |
| commit | a680811dcbd532f3bdc55bc1ac3437e761359469 (patch) | |
| tree | e67057d588bfc830ab1d3517debedc149f24710b /_CoqProject | |
| parent | 401058d999a6eaa38ce31b2ee9356a65b63498d2 (diff) | |
Split off pull_Zmod, push_Zmod from ZUtil
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 |