Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Adaptation des fichiers de micromega suite aux changements dans | 2008-04-25 | |
* | Added NIso.v to Makefile.common. Changed Examples.v in contrib/micromega to u... | 2007-10-25 | |
* | Changed RingMicromega to use NRing instead of Ring_polynom. NRing is a versio... | 2007-10-18 | |
* | Added transitivity and irreflexivity of <, as well as < -elimination for bina... | 2007-10-16 |