diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-03-28 19:12:52 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-03-28 19:12:52 -0400 |
| commit | 85d8a64623fd1020caf75fac1a85fb349658f0e1 (patch) | |
| tree | 73719282601a41f84833938fbf1533f4878360fb /_CoqProject | |
| parent | 20d1a5816a33568f2fe13e28445396c476a49d27 (diff) | |
make update-_CoqProject
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index d05e67edc..1231e4fb9 100644 --- a/_CoqProject +++ b/_CoqProject @@ -9,6 +9,7 @@ src/EdDSARepChange.v src/Karatsuba.v src/MxDHRepChange.v src/NewBaseSystem.v +src/SaturatedBaseSystem.v src/Testbit.v src/Algebra/Field.v src/Algebra/Field_test.v @@ -201,7 +202,6 @@ src/Reflection/Z/Interpretations64/Relations.v src/Reflection/Z/Interpretations64/RelationsCombinations.v src/Reflection/Z/Syntax/Equality.v src/Reflection/Z/Syntax/Util.v -src/SaturatedBaseSystem.v src/Spec/CompleteEdwardsCurve.v src/Spec/Ed25519.v src/Spec/EdDSA.v |