| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | More tests for tactic "subst". |  Hugo Herbelin | 2016-10-02 |
| | | |||
| * | Turning "Set Regular Subst Tactic" on by default (for 8.6). | Hugo Herbelin | 2015-05-15 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |