diff options
| author | Enrico Tassi | 2015-05-28 13:30:06 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-05-29 14:59:42 +0200 |
| commit | 5e873be3cdbdff6b9bad782ce88d2206b9053e14 (patch) | |
| tree | 3da04e1b80961db5c27bf89da4bc3ed9700b09d4 /proofs/proof.mli | |
| parent | 83188dacc43df02245d13810d08cc63b7a5633ed (diff) | |
coqide: don't require ocaml >= 4
Diffstat (limited to 'proofs/proof.mli')
0 files changed, 0 insertions, 0 deletions