diff options
| author | Brian Campbell | 2019-03-25 13:58:49 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-03-27 15:03:54 +0000 |
| commit | a58626b117a3a11e48d66ec18892f1c5c1d93cab (patch) | |
| tree | b586a9b0b98155bbbbc87178672143a2a15de907 /src/interactive.mli | |
| parent | da39dafed7d4a4fa811cb1733c55dc2ef2b6d8e1 (diff) | |
Coq: replace firstorder with less expensive tactics
Diffstat (limited to 'src/interactive.mli')
0 files changed, 0 insertions, 0 deletions