Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Quelques ameliorations dans Reg | 2002-07-22 | |
* | Regularites de pow et des sommes finies / MAJ Reg | 2002-07-19 | |
* | Resultats de regularite de Rabsolu / MAJ de Reg | 2002-07-19 | |
* | Correction d'un bug dans IsCont_pt | 2002-07-18 | |
* | MAJ pour Sqrt_reg | 2002-07-18 | |
* | *** empty log message *** | 2002-07-16 | |
* | Suppression de l'axiome d'extensionnalite | 2002-06-21 | |
* | Prise en compte de exp, cosh et sinh | 2002-06-17 | |
* | *** empty log message *** | 2002-06-11 | |
* | Ranalysis.v | 2002-06-11 |