Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Uniformisation (Qed/Save et Implicits Arguments) | 2002-04-17 | |
* | Modification de l'emplacement des fichiers pour les setoides. | 2001-09-18 | |
* | Passage au nouveau Destruct | 2001-08-07 | |
* | Expérimentation de NewDestruct et parfois NewInduction | 2001-08-05 | |
* | Ajout des fichiers pour le Ring pour setoides | 2001-07-10 |