Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Renommage des variables dans les schémas d'induction | 2001-02-14 | |
* | modif de la syntax: assoc a droite pour Ring | 2001-02-08 | |
* | Modif de l'axiomatisation pour enlever les /\ de _ne | 2001-01-25 | |
* | corr bug - | 2001-01-11 | |
* | Mise a jour Rbase | 2001-01-11 | |
* | *** empty log message *** | 2000-12-22 | |
* | pb niveau | 2000-12-15 | |
* | Prise en compte `?' dans les `` `` | 2000-12-06 | |
* | Reparation d'un bug de pretty-print | 2000-12-05 | |
* | La bonne modif des Unfold | 2000-11-27 | |
* | Suppression de Unfold inutile et maintenant échouant | 2000-11-27 | |
* | Ajout d'une syntaxe pour Reals. | 2000-11-23 | |
* | mise-a-jour, ajouts de quelques truc... | 2000-11-10 | |
* | Pour ne plus éviter temporairement le "Auto with zarith" ! | 2000-11-05 | |
* | Pour eviter temporairement le "Auto with zarith" | 2000-10-30 | |
* | correction | 2000-07-04 | |
* | ajouts | 2000-07-03 | |
* | theories/Reals | 2000-06-21 |