Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout d'un test sur EAuto | 2001-02-27 | |
* | Test syntaxe avec motifs numériques | 2001-02-14 | |
* | EqDecide | 2001-02-06 | |
* | Ajout d'un exemple | 2001-02-06 | |
* | D'autres exemples | 2001-02-05 | |
* | Pas d'Apply dans Tauto | 2001-02-05 | |
* | Ajout du test de Tauto | 2001-02-05 | |
* | Tests pour | 2001-01-21 | |
* | test univers, inductifs et sections | 2000-12-15 | |
* | Fichier de test pour les Cases | 2000-12-14 | |
* | Ajout de tests | 2000-12-12 | |
* | tests automatiques | 2000-12-09 | |
* | tests Refine | 2000-07-20 | |
* | renommage (nom de module invalide) | 1999-12-12 | |
* | fichiers de bench | 1999-12-05 | |
* | fichier de test d'inductifs pour minicoq | 1999-09-08 |