diff options
-rw-r--r-- | _CoqProject | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/_CoqProject b/_CoqProject index be303fe3f..3e54584cc 100644 --- a/_CoqProject +++ b/_CoqProject @@ -74,8 +74,6 @@ src/Compilers/SmartCastWf.v src/Compilers/SmartMap.v src/Compilers/Syntax.v src/Compilers/TestCase.v -src/Compilers/TestCase.v -src/Compilers/TestCase.v src/Compilers/Tuple.v src/Compilers/TypeInversion.v src/Compilers/TypeUtil.v @@ -160,15 +158,11 @@ src/Curves/Weierstrass/Projective.v src/LegacyArithmetic/ArchitectureToZLike.v src/LegacyArithmetic/ArchitectureToZLikeProofs.v src/LegacyArithmetic/BarretReduction.v -src/LegacyArithmetic/BarretReduction.v -src/LegacyArithmetic/BarretReduction.v src/LegacyArithmetic/BaseSystem.v src/LegacyArithmetic/BaseSystemProofs.v src/LegacyArithmetic/Interface.v src/LegacyArithmetic/InterfaceProofs.v src/LegacyArithmetic/MontgomeryReduction.v -src/LegacyArithmetic/MontgomeryReduction.v -src/LegacyArithmetic/MontgomeryReduction.v src/LegacyArithmetic/Pow2Base.v src/LegacyArithmetic/Pow2BaseProofs.v src/LegacyArithmetic/VerdiTactics.v |