Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Intégration de micromega ("omicron" pour fourier et sa variante sur Z, | herbelin | 2008-05-19 |
* | Adaptation des fichiers de micromega suite aux changements dans | notin | 2008-04-25 |
* | Added transitivity and irreflexivity of <, as well as < -elimination for bina... | emakarov | 2007-10-16 |