Commit message (Expand) | Author | Age | |
---|---|---|---|
* | remplace Zarith par ZArith | mohring | 2001-04-19 |
* | entetes | filliatr | 2001-03-15 |
* | Renommage des variables dans les schémas d'induction | herbelin | 2001-02-14 |
* | Ajout de commentaire coqweb | mohring | 2001-01-15 |
* | Elimination du ' | delahaye | 2000-11-28 |
* | Ajout du langage de tactiques | delahaye | 2000-05-03 |
* | portage Omega (mais toujours pas Zpower et Zlogarithm) | filliatr | 2000-05-02 |
* | Zarith | filliatr | 2000-03-18 |