diff options
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index f13bf2b2c..9894d6614 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6,6 +6,7 @@ src/Algebra.v src/BaseSystem.v src/BaseSystemProofs.v src/EdDSARepChange.v +src/Karatsuba.v src/MxDHRepChange.v src/NewBaseSystem.v src/Testbit.v @@ -159,6 +160,7 @@ src/Reflection/Named/NameUtil.v src/Reflection/Named/RegisterAssign.v src/Reflection/Named/Syntax.v src/Reflection/Z/BinaryNotationConstants.v +src/Reflection/Z/BoundsInterpretations.v src/Reflection/Z/CNotations.v src/Reflection/Z/HexNotationConstants.v src/Reflection/Z/Interpretations128.v @@ -438,8 +440,8 @@ src/Test/Curve25519SpecTestVectors.v src/Util/AdditionChainExponentiation.v src/Util/AutoRewrite.v src/Util/Bool.v -src/Util/CaseUtil.v src/Util/CPSUtil.v +src/Util/CaseUtil.v src/Util/Curry.v src/Util/Decidable.v src/Util/Equality.v @@ -456,10 +458,10 @@ src/Util/LetIn.v src/Util/LetInMonad.v src/Util/ListUtil.v src/Util/Logic.v +src/Util/NUtil.v src/Util/NatUtil.v src/Util/Notations.v src/Util/NumTheoryUtil.v -src/Util/NUtil.v src/Util/Option.v src/Util/PartiallyReifiedProp.v src/Util/PointedProp.v |