Commit message (Expand) | Author | Age | |
---|---|---|---|
* | *** empty log message *** | 2002-07-16 | |
* | Modification de IAF, introduction de TAF et preuves de 3 axiomes | 2002-07-02 | |
* | Suppression de l'axiome d'extensionnalite | 2002-06-21 | |
* | *** empty log message *** | 2002-06-20 | |
* | Suppression de fct_eq | 2002-06-17 | |
* | Ranalysis.v | 2002-06-11 |