diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-07 00:33:07 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-07 00:33:07 -0400 |
| commit | b9cef258a2dcfcc0fa09c5e4c98b8f2928485f6c (patch) | |
| tree | 974f9f0d9eb1ed7859f077e91a6d01ad5de53d35 /_CoqProject | |
| parent | 7461b2c5151146cf397a8b2c4399db4cc1e6d78b (diff) | |
make update-_CoqProject
Diffstat (limited to '_CoqProject')
| -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 |