From 4ea92779f54a7f6a49e334cd6071096be57c40ca Mon Sep 17 00:00:00 2001 From: jadep Date: Wed, 20 Jul 2016 16:02:27 -0400 Subject: restructured ModularBaseSystem pipeline to put tuple conversion before ModularBaseSystem is fully defined, rather than after ModularBaseSystemOpt --- _CoqProject | 1 - 1 file changed, 1 deletion(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index c845b369d..3936cf40b 100644 --- a/_CoqProject +++ b/_CoqProject @@ -37,7 +37,6 @@ src/Experiments/SpecificCurve25519.v src/ModularArithmetic/ExtendedBaseVector.v src/ModularArithmetic/ModularArithmeticTheorems.v src/ModularArithmetic/ModularBaseSystem.v -src/ModularArithmetic/ModularBaseSystemInterface.v src/ModularArithmetic/ModularBaseSystemList.v src/ModularArithmetic/ModularBaseSystemListProofs.v src/ModularArithmetic/ModularBaseSystemOpt.v -- cgit v1.2.3