Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Nettoyage | 2002-11-28 | |
* | Uniformisation (Qed/Save et Implicits Arguments) | 2002-04-17 | |
* | MAJ vis à vis de la nouvelle non-localité des Remark/Fact | 2001-09-14 | |
* | Parsing | 2001-08-10 | |
* | Expérimentation de NewDestruct et parfois NewInduction | 2001-08-05 | |
* | Setoid_rewrite -> Rewrite | 2001-07-10 | |
* | Ajout des fichiers pour le Ring pour setoides | 2001-07-10 |