diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-02-02 12:37:23 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-02-02 12:37:23 -0500 |
| commit | 677ebfa7cead9276892e440a8dc9a55bc36fa326 (patch) | |
| tree | 67a773820c662800a569c7d1426f2effe37cd3d8 /_CoqProject | |
| parent | 06832a1e1cee9959a97e78c8731178ee3ef9f814 (diff) | |
Split up Reflection/Z/Syntax and make it smaller
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 8f55e9d25..4068c28e2 100644 --- a/_CoqProject +++ b/_CoqProject @@ -147,6 +147,8 @@ src/Reflection/Z/Interpretations128/Relations.v src/Reflection/Z/Interpretations128/RelationsCombinations.v 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/Spec/CompleteEdwardsCurve.v src/Spec/Ed25519.v src/Spec/EdDSA.v |