diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/_CoqProject b/_CoqProject index d87842e49..797f2a12c 100644 --- a/_CoqProject +++ b/_CoqProject @@ -38,8 +38,6 @@ src/Encoding/PointEncodingPre.v src/Experiments/DerivationsOptionRectLetInEncoding.v src/Experiments/EdDSARefinement.v src/Experiments/GenericFieldPow.v -src/Experiments/SpecEd25519.v -src/Experiments/SpecificCurve25519.v src/ModularArithmetic/ExtPow2BaseMulProofs.v src/ModularArithmetic/ExtendedBaseVector.v src/ModularArithmetic/ModularArithmeticTheorems.v @@ -102,12 +100,14 @@ src/Util/HProp.v src/Util/Isomorphism.v src/Util/IterAssocOp.v src/Util/ListUtil.v +src/Util/Logic.v src/Util/NatUtil.v src/Util/Notations.v src/Util/NumTheoryUtil.v src/Util/Option.v src/Util/PointedProp.v src/Util/Prod.v +src/Util/Relations.v src/Util/Sigma.v src/Util/Sum.v src/Util/Tactics.v |