| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-07-22 | Correct implementation of discharging of implicit arguments and add new | msozeau |
| 2008-04-24 | Ajout propriété svn:keywords aux nouveaux fichiers du commit 10840 | herbelin |
| 2008-04-23 | Prise en compte des coercions dans les clauses "with" même si le type | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |