| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | - Déplacement des types paramétriques prod, sum, option, identity, |  herbelin | 2006-05-28 |
| * | - Réintroduction d'un parseur de pattern (q_constr.ml4) à usage de | herbelin | 2006-03-22 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |