Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixing #4467 (missing shadowing of variables in cases pattern). | 2016-01-12 | |
This fixes a TODO in map_constr_expr_with_binders, a bug in is_constructor, as well as a bug and TODOS in ids_of_cases_indtype. |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixing #4467 (missing shadowing of variables in cases pattern). | 2016-01-12 | |
This fixes a TODO in map_constr_expr_with_binders, a bug in is_constructor, as well as a bug and TODOS in ids_of_cases_indtype. |