diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index b5fb302ce..b3edfac03 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6536,6 +6536,7 @@ src/Util/ListUtil/FoldBool.v src/Util/ListUtil/Forall.v src/Util/Logic/ImplAnd.v src/Util/Logic/ProdForall.v +src/Util/NUtil/WithoutReferenceToZ.v src/Util/SideConditions/AdmitPackage.v src/Util/SideConditions/Autosolve.v src/Util/SideConditions/CorePackages.v @@ -6607,22 +6608,36 @@ src/Util/ZUtil/AddModulo.v src/Util/ZUtil/CC.v src/Util/ZUtil/CPS.v src/Util/ZUtil/Definitions.v +src/Util/ZUtil/DistrIf.v src/Util/ZUtil/Div.v +src/Util/ZUtil/Divide.v src/Util/ZUtil/EquivModulo.v src/Util/ZUtil/Ge.v src/Util/ZUtil/Hints.v src/Util/ZUtil/Land.v +src/Util/ZUtil/LandLorBounds.v +src/Util/ZUtil/LandLorShiftBounds.v src/Util/ZUtil/Le.v +src/Util/ZUtil/Lnot.v +src/Util/ZUtil/Log2.v src/Util/ZUtil/ModInv.v src/Util/ZUtil/Modulo.v src/Util/ZUtil/Morphisms.v +src/Util/ZUtil/Mul.v src/Util/ZUtil/MulSplit.v +src/Util/ZUtil/N2Z.v src/Util/ZUtil/Notations.v +src/Util/ZUtil/Odd.v +src/Util/ZUtil/Ones.v +src/Util/ZUtil/Opp.v src/Util/ZUtil/Peano.v +src/Util/ZUtil/Pow.v +src/Util/ZUtil/Pow2.v src/Util/ZUtil/Pow2Mod.v src/Util/ZUtil/Quot.v src/Util/ZUtil/Rshi.v src/Util/ZUtil/Sgn.v +src/Util/ZUtil/Shift.v src/Util/ZUtil/Sorting.v src/Util/ZUtil/Stabilization.v src/Util/ZUtil/Tactics.v |