diff options
author | 2015-09-20 01:23:26 +0200 | |
---|---|---|
committer | 2015-09-20 01:23:26 +0200 | |
commit | 0c766b2e3b54d96713a79e40661653c5486822a8 (patch) | |
tree | 2b1453b97049e2e29e98eb9799d64adc95045b8c /proofs/proof_using.ml | |
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_using.ml')
0 files changed, 0 insertions, 0 deletions