diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-06-12 12:16:34 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-06-13 09:42:38 +0200 |
| commit | 5cc502fe1b60f59815dfa2819e169dc7ae9b4c7e (patch) | |
| tree | bbe238b2b76f425d0f7dd513b7884829d45bfbcd /proofs/proof_using.mli | |
| parent | 39f36789b986779d36acd36cfa1425487bad43c3 (diff) | |
Document Show ident.
Diffstat (limited to 'proofs/proof_using.mli')
0 files changed, 0 insertions, 0 deletions