diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-07-20 16:02:27 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-07-20 16:02:27 -0400 |
| commit | 4ea92779f54a7f6a49e334cd6071096be57c40ca (patch) | |
| tree | 1095426403c59dda55012a910c5a6683d6245174 /_CoqProject | |
| parent | b4875d9ca86b5626512178c0bf48e324a6391b7b (diff) | |
restructured ModularBaseSystem pipeline to put tuple conversion before ModularBaseSystem is fully defined, rather than after ModularBaseSystemOpt
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
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 |