diff options
| author | Chantal Keller | 2019-03-14 08:51:41 +0100 |
|---|---|---|
| committer | Chantal Keller | 2019-03-14 08:51:41 +0100 |
| commit | 8ea0039ff69491b9e672bc3c522a356085d89c22 (patch) | |
| tree | aff20d37f8b6ef3607226a996289ad21de0272c2 /dev/doc | |
| parent | 27ab0d69e87fa3ce414cdaa205f7f6266693e263 (diff) | |
Exposes Coq_micromega.dump_proof_term to allow a use independent from tactics
Diffstat (limited to 'dev/doc')
0 files changed, 0 insertions, 0 deletions