diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2016-06-20 15:08:11 +0200 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2016-06-20 15:10:39 +0200 |
| commit | 0fa8b96c243e0915477866b094735ecaaaac6ef6 (patch) | |
| tree | 9e9b4d046a087b1dbf9684611338bf29a5fdd6b7 /checker/inductive.ml | |
| parent | c064fb933a16dc25b8172a1a2e758f538ee7285e (diff) | |
Reference Manual / Extraction: the original example command no longer works with recent Coq
Diffstat (limited to 'checker/inductive.ml')
0 files changed, 0 insertions, 0 deletions