diff options
| author | Pierre-Marie Pédrot | 2016-05-11 10:30:49 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-05-11 11:23:11 +0200 |
| commit | 17da4a6805622ab3b5e46b0c3ffef57e4b7ded4c (patch) | |
| tree | bf8244fee91d6d0784a59c3dcdfe4e72507e1674 /kernel/typeops.ml | |
| parent | f2983cec3544473b18ebc4d4e3a20b941decd196 (diff) | |
Moving the grammar summary to Pcoq.
Diffstat (limited to 'kernel/typeops.ml')
0 files changed, 0 insertions, 0 deletions