diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2017-05-29 17:39:03 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2017-05-29 17:39:03 +0200 |
| commit | 22014c3fd400446556d3c2d7548d4638a7ed96ee (patch) | |
| tree | 97d4e7d8e31a94a97f76389a8803cdb557f9c534 /tactics/hipattern.mli | |
| parent | 7855fa596d5308a1c153b98146e57e9408bf8c5d (diff) | |
Ltac cleanup: no more constr_of_global calls
Diffstat (limited to 'tactics/hipattern.mli')
0 files changed, 0 insertions, 0 deletions