Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Expérimentation de NewDestruct et parfois NewInduction | 2001-08-05 | |
* | modif Map section | 2001-07-16 | |
* | Ajout de fonctions proposees par Cuiht Alvarado | 2001-04-19 | |
* | Mise de (*i autour CVS info | 2001-04-19 | |
* | documentation automatique de la bibliothèque standard | 2001-04-11 | |
* | entetes | 2001-03-15 | |
* | - coqc : option -image | 2001-02-01 | |
* | Renommages autour de NewInduction | 2000-12-18 | |
* | Le nouvel Induction s'appelle NewInduction | 2000-11-26 | |
* | Petite simplif due au nouveau Tauto | 2000-11-24 | |
* | portage Refine | 2000-07-20 | |
* | Retrait des parenthèses inutiles autour des tactiques | 2000-07-01 | |
* | theories/Lists | 2000-06-21 |