src/HOL/OrderedGroup.ML
2004-05-18 obua 2004-05-18 simplification for abelian groups