diff options
| author | Hugo Herbelin | 2015-10-22 21:01:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:07 +0100 |
| commit | 899b701462fa056a22f997ae22c5ef7c1d247673 (patch) | |
| tree | ae2e914c7228a10d448afed56db003834b53d28b /plugins/syntax/z_syntax.ml | |
| parent | 57e66fa78559d76e492ea0f0f2d43086a2f457b6 (diff) | |
Starting revising inductive types session
Diffstat (limited to 'plugins/syntax/z_syntax.ml')
0 files changed, 0 insertions, 0 deletions