diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-02-29 12:40:45 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-02-29 13:24:45 +0100 |
| commit | 293222e49ff81bc1299b3822d2a8c526ca803307 (patch) | |
| tree | fff87b81ee563870658be00b3686e70d3262cf59 /intf/decl_kinds.mli | |
| parent | ae3bbff3ca2564fe24bdf3dd517c82807eae9151 (diff) | |
Moving the "exists" tactic to TACTIC EXTEND.
Diffstat (limited to 'intf/decl_kinds.mli')
0 files changed, 0 insertions, 0 deletions