diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-04-15 15:11:29 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-04-15 15:11:29 -0400 |
| commit | 22564ea50b106f4f8f09de5c1d7fd3d3345f20d9 (patch) | |
| tree | 4c68223adf1d2f91c04674e29a4b4ad4c35a751e /_CoqProject | |
| parent | addb070c83e0cd33e096f80781103db3ac883e5f (diff) | |
Removed old iter_op version and its last dependency.
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 1d65a7564..04b25dd6c 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,7 +1,6 @@ -R src Crypto src/BaseSystem.v src/BaseSystemProofs.v -src/BoundedIterOp.v src/EdDSAProofs.v src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v src/CompleteEdwardsCurve/DoubleAndAdd.v |