From 14f41f622196bafcd9ad40543f21b72d88e01e7d Mon Sep 17 00:00:00 2001 From: Robert Sloan Date: Thu, 23 Jun 2016 19:31:11 -0400 Subject: Remove vestigal BoundedWord machinery --- _CoqProject | 3 --- 1 file changed, 3 deletions(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index b1e422ae3..04e2c2f22 100644 --- a/_CoqProject +++ b/_CoqProject @@ -8,10 +8,8 @@ src/BaseSystemProofs.v src/Testbit.v src/Assembly/AlmostConversion.v src/Assembly/AlmostQhasm.v -src/Assembly/BoundedWord.v src/Assembly/Conversion.v src/Assembly/Language.v -src/Assembly/MultiBoundedWord.v src/Assembly/Pipeline.v src/Assembly/Pseudize.v src/Assembly/Pseudo.v @@ -33,7 +31,6 @@ src/Encoding/ModularWordEncodingTheorems.v src/Experiments/DerivationsOptionRectLetInEncoding.v src/Experiments/GenericFieldPow.v src/Experiments/SpecEd25519.v -src/Galois/GaloisField.v src/ModularArithmetic/ExtendedBaseVector.v src/ModularArithmetic/ModularArithmeticTheorems.v src/ModularArithmetic/ModularBaseSystem.v -- cgit v1.2.3