diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-09-20 01:23:26 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-09-20 01:23:26 +0200 |
| commit | 0c766b2e3b54d96713a79e40661653c5486822a8 (patch) | |
| tree | 2b1453b97049e2e29e98eb9799d64adc95045b8c /proofs/proof.mli | |
| parent | 40479227cba680496bf358e196e57a9a64f9c65b (diff) | |
Print Assumptions shows engagement.
Seems to be morally required since we have the -type-in-type flag.
Diffstat (limited to 'proofs/proof.mli')
0 files changed, 0 insertions, 0 deletions