| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-02-06 | Avoid eqn when generating name in induction_gen. | Jasper Hugunin | |
| Fixes #9494. Was failing with "Cannot create self-referring hypothesis" when the generated name equaled the eqn. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |