| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | option -dump-glob pour coqdoc |  filliatr | 2002-02-14 |
| * | changement generation de schema d'elimination, False_rec est primitif, Constr... |  mohring | 2002-01-31 |
| * | MAJ des Id pour coqweb |  herbelin | 2002-01-09 |
| * | Suppression d'Export redondants | herbelin | 2001-11-14 |
| * | and_rec redondant |  letouzey | 2001-09-27 |
| * | Fin de la modif Exc/option | mohring | 2001-08-30 |
| * | ajout option , Exc --> option, et lemmes dans les theories | mohring | 2001-08-29 |
| * | Expérimentation de NewDestruct et parfois NewInduction | herbelin | 2001-08-05 |
| * | documentation automatique de la bibliothèque standard | filliatr | 2001-04-11 |
| * | Introduction d'une preuve de False_rec | mohring | 2001-03-30 |
| * | entetes | filliatr | 2001-03-15 |
| * | fichiers prelude Coq | filliatr | 1999-12-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |