diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/_CoqProject b/_CoqProject index 44f15cb76..782741ee2 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6507,11 +6507,11 @@ src/Util/Sigma/Associativity.v src/Util/Sigma/Lift.v src/Util/Sigma/MapProjections.v src/Util/Strings/Ascii.v -src/Util/Strings/Binary.v +src/Util/Strings/BinaryString.v src/Util/Strings/Decimal.v src/Util/Strings/Equality.v -src/Util/Strings/Hex.v -src/Util/Strings/Octal.v +src/Util/Strings/HexString.v +src/Util/Strings/OctalString.v src/Util/Strings/String.v src/Util/Tactics/BreakMatch.v src/Util/Tactics/CacheTerm.v @@ -6561,6 +6561,7 @@ src/Util/ZRange/CornersMonotoneBounds.v src/Util/ZRange/Operations.v src/Util/ZUtil/AddGetCarry.v src/Util/ZUtil/AddModulo.v +src/Util/ZUtil/CC.v src/Util/ZUtil/CPS.v src/Util/ZUtil/Definitions.v src/Util/ZUtil/Div.v @@ -6576,6 +6577,7 @@ src/Util/ZUtil/Notations.v src/Util/ZUtil/Peano.v src/Util/ZUtil/Pow2Mod.v src/Util/ZUtil/Quot.v +src/Util/ZUtil/Rshi.v src/Util/ZUtil/Sgn.v src/Util/ZUtil/Stabilization.v src/Util/ZUtil/Tactics.v |