diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2015-04-09 18:33:07 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2015-04-09 18:33:07 +0200 |
| commit | 33650e275a4b3f00541ea87ee4b39892be5fdb2f (patch) | |
| tree | c1441dbda76a9678a9bfed2b3dd89ea3e7486b68 /tactics/hints.mli | |
| parent | 6158ec51adc31814fde0293f54151c19a5f3b1e4 (diff) | |
Better test-suite files, removing reliance on admit.
Diffstat (limited to 'tactics/hints.mli')
0 files changed, 0 insertions, 0 deletions