diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-01-07 21:18:51 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-01-07 21:19:17 -0500 |
| commit | 4d3d21d604243bc63774f4931f2313e20cdaf515 (patch) | |
| tree | 59de4cc802de57b13128cda7905845200ab0df10 /_CoqProject | |
| parent | fe7e75f74cc3b18f87c13b2aeadaf24f12f0001b (diff) | |
Revert "Add apply10"
This reverts commit fe7e75f74cc3b18f87c13b2aeadaf24f12f0001b.
Revert "copy_bounds"
This reverts commit 4c395e83de3c0baf7f8639fa2fbe2b62ba509682.
Revert "Add Common10_4Op"
This reverts commit 677733838139ff09d4a2dd9ff82258492a9a5bab.
Revert "Add Expr10_4Op"
This reverts commit 540740e8a423d0ec9d1dddb173f772c441dc0a1a.
Revert "Add i10top_correct_and_bounded"
This reverts commit bc4184ce6086971799630a0419881c8d344811ca.
Revert "Add appify10"
This reverts commit 66b63b406d9c78a0cecbbf89e5baf282231215c5.
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 3617b5890..f6d2f69f0 100644 --- a/_CoqProject +++ b/_CoqProject @@ -164,7 +164,6 @@ src/Specific/FancyMachine256/Barrett.v src/Specific/FancyMachine256/Core.v src/Specific/FancyMachine256/Montgomery.v src/Specific/GF25519Reflective/Common.v -src/Specific/GF25519Reflective/Common10_4Op.v src/Specific/GF25519Reflective/Common9_4Op.v src/Specific/GF25519Reflective/CommonBinOp.v src/Specific/GF25519Reflective/CommonUnOp.v |