diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-06-28 14:18:08 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-06-28 14:18:08 -0400 |
| commit | 238301431d29005f010466c48c330777a897cb3f (patch) | |
| tree | c6a33dafc8d165147ec36a49cd11800212b9efab /src/Util/Tactics.v | |
| parent | c27dbaa5bfb8346e7484e07e551cf13ed745740b (diff) | |
EdDSARefinement: work around rewrite_strat for 8.4
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions