| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-05-01 | Fixing Set Rewriting Schemes bugs introduced in v8.5. | Hugo Herbelin |
| 2011-06-13 | Another bug of Scheme Induction (generated names dep/nodep were swapped). | herbelin |
| 2011-06-13 | Fixing an anomaly in Scheme Induction. | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |