diff options
| author | coqbot-app[bot] | 2020-10-15 17:50:31 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-15 17:50:31 +0000 |
| commit | 2db3d504378cb6167aadd0d7bccf7bd2341c63c6 (patch) | |
| tree | 89978b5027224d919b2fa03fe0e26df88519b264 /vernac/comDefinition.mli | |
| parent | 476520ab32d3e975f6cee8aabcd04ad5fdfbbd77 (diff) | |
| parent | 2a2ce21a09bb2e42589777069593b8dda802125e (diff) | |
Merge PR #12925: [declare] Fix types of mutual lemmas when using Admitted.
Reviewed-by: herbelin
Ack-by: SkySkimmer
Diffstat (limited to 'vernac/comDefinition.mli')
0 files changed, 0 insertions, 0 deletions