Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Passage a un SStream predicatif | 2003-11-13 | |
* | Parenthèses manquantes pour se conformer à la doc (et au nouveau PeanoSynta... | 2002-10-21 | |
* | Nouveaux exemples | 2001-11-21 | |
* | Ces fichiers repassent (y restait un bug dans l'inférence du prédicat) | 2001-10-03 | |
* | Ces fichiers décrivent des comportements peut-être souhaités mais actuelle... | 2001-09-19 | |
* | Decomposition de Cases | 2001-04-20 | |
* | entetes | 2001-03-15 | |
* | Ajout syntaxe zarith | 2001-03-14 | |
* | Test syntaxe avec motifs numériques | 2001-02-14 | |
* | Fichier de test pour les Cases | 2000-12-14 |