diff options
| author | Matej Kosik | 2015-12-21 11:37:06 +0100 |
|---|---|---|
| committer | Matej Kosik | 2016-01-11 10:00:45 +0100 |
| commit | 8a4a8758075e09da298762da1a035a5afac4d88b (patch) | |
| tree | 4c3c05931f54a5455e6c5a993e839a5ac7716ce8 /kernel/constr.ml | |
| parent | 730e8b8445c6ff28540aff4a052e19b90159a86d (diff) | |
COMMENTS: added to the "Names.inductive" and "Names.constructor" types.
Diffstat (limited to 'kernel/constr.ml')
0 files changed, 0 insertions, 0 deletions