diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-08-24 15:44:57 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-08-24 15:44:57 -0400 |
| commit | 579a64242f2ccf37db6c16b0aa674c78c3433c00 (patch) | |
| tree | 878e71c46ddc405965071c89981275f07f69346c /_CoqProject | |
| parent | 7fdf8a3adb914915e0ba4d1cce971f0bced407aa (diff) | |
Removed now-obsolete ModularBaseSystemField.v; field lemmas for ModularBaseSystem are now in ModularBaseSystemProofs.v and Specific/
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 2840c3b91..fa18b1188 100644 --- a/_CoqProject +++ b/_CoqProject @@ -38,7 +38,6 @@ src/ModularArithmetic/ExtPow2BaseMulProofs.v src/ModularArithmetic/ExtendedBaseVector.v src/ModularArithmetic/ModularArithmeticTheorems.v src/ModularArithmetic/ModularBaseSystem.v -src/ModularArithmetic/ModularBaseSystemField.v src/ModularArithmetic/ModularBaseSystemList.v src/ModularArithmetic/ModularBaseSystemListProofs.v src/ModularArithmetic/ModularBaseSystemOpt.v |