| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Cleanup name-binding structure for fresh evar name generation. |  Pierre-Marie Pédrot | 2018-01-02 |
| We simply use a record and pack the rel and var substitutions in it. We also properly compose variable substitutions. Fixes #6534: Fresh variable generation in case of clash is buggy. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |