diff options
author | Andres Erbsen <andreser@mit.edu> | 2016-06-28 17:22:03 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2016-06-28 17:22:03 -0400 |
commit | 4ab9da1b82913f1ad798bcdacd8801f619ee2fdf (patch) | |
tree | c0871bfb3fee7e2d2141e08373fbd7a25d6f67a5 /src/Util/Tactics.v | |
parent | 55c3fc171a557aadc4314bd1241293b3c2ec0d97 (diff) |
CompleteEdwardsCurveTheorems: build on 8.4 after field_algebra cahnge
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions