| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Reduction du terme preuve fourni par Field |  delahaye | 2001-06-27 | |
| * | Reduction tres significative du terme preuve | delahaye | 2001-06-27 | |
| * | Découpage de g_tactic.ml4 en 2 (pour satisfaire les contraintes de la compil... |  herbelin | 2001-06-25 | |
| * | Changement de la structure des points fixes |  barras | 2001-05-03 | |
| * | Suppression d'une partie de code commente | delahaye | 2001-04-24 | |
| * | Ajout des entetes | delahaye | 2001-04-20 | |
| * | Ajout de Field | delahaye | 2001-04-19 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |