Commit message (Expand) | Author | Age | |
---|---|---|---|
* | option -dump-glob pour coqdoc | 2002-02-14 | |
* | modification de la definition des def inductives unitaires et autorisation d'... | 2002-01-29 | |
* | MAJ des Id pour coqweb | 2002-01-09 | |
* | Suppression d'Export redondants | 2001-11-14 | |
* | Transparent | 2001-09-20 | |
* | ajout option , Exc --> option, et lemmes dans les theories | 2001-08-29 | |
* | Expérimentation de NewDestruct et parfois NewInduction | 2001-08-05 | |
* | entetes | 2001-03-15 | |
* | separation calcul des implicites et declaration des constantes / inductifs / ... | 2000-11-21 | |
* | fichiers prelude Coq | 1999-12-13 |