| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fixing #4467 (missing shadowing of variables in cases pattern). |  Hugo Herbelin | 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 |