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