| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-09-29 | Arguments: cleanup + detect discrepancy rename/implicit (#3753) | Enrico Tassi |
| 2014-10-08 | Fixing the anomaly in bug #3045 (a filter was not type-safe in | Hugo Herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |