diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-09-25 11:01:43 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-25 11:01:43 +0200 |
| commit | 4b6383889d4d38de4c9a28bee960b30114a51b16 (patch) | |
| tree | 833ee7e1155e2e12014ad7af1db7b4930b734412 /vernac/lemmas.ml | |
| parent | 43cd1660807b7da915d405d7aa9af8082b5d85f6 (diff) | |
| parent | 22a3a79f32d5f795143bd808810aba890c630313 (diff) | |
Merge PR #1085: Fix BZ#5755 (incorrect treatment of let-ins in parameters of inductive types)
Diffstat (limited to 'vernac/lemmas.ml')
0 files changed, 0 insertions, 0 deletions