diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-10-12 20:40:49 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-10-12 20:45:59 -0400 |
| commit | 03795fba88904cd4161ed9920aacad0c099ce6c4 (patch) | |
| tree | 7666ca0532336cc189f6da066640c7b4d549d017 /_CoqProject | |
| parent | 34e3e8da853f2df1b9f765747ef0c4f18c4407fe (diff) | |
remove EncodingLemmas from _CoqProject (file deleted by Andres in commit 9379415c)
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index e9ffc412e..d468fd992 100644 --- a/_CoqProject +++ b/_CoqProject @@ -60,7 +60,6 @@ src/Encoding/ModularWordEncodingTheorems.v src/Encoding/PointEncoding.v src/Encoding/PointEncodingPre.v src/Experiments/Ed25519.v -src/Experiments/EncodingLemmas.v src/Experiments/GenericFieldPow.v src/Experiments/MontgomeryCurve.v src/ModularArithmetic/Conversion.v |