Port changes from OpenAxiom commit 2826
The category AbelianMonoid has a new export: opposite?. The category Rng has a new export: annihilate?.
Authored by: hemmecke 2013-05-11
Parent: [r1542]
Child: [r1544]