Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - Amélioration nommage dans EqdepFacts suivant remarque de Arthur C. | 2008-06-10 | |
* | Révision de theories/Logic concernant les axiomes de descriptions. | 2007-10-03 | |
* | Passage de Set à Type dans Relations et Wellfounded | 2007-02-06 | |
* | Correction typo eq_rec_eq (cf bug #1339) | 2007-01-31 | |
* | Mise en forme des theories | 2006-10-17 | |
* | Réajout de eq_rec_eq oublié lors de la modularisation de Eqdep | 2006-03-30 | |
* | Modularisation des preuves concernant la logique classique, l'indiscernabilit... | 2006-03-05 |