src/HOL/OrderedGroup.ML
2005-06-25 nipkow 2005-06-25 Changes due to new abel_cancel.ML
2005-06-17 wenzelm 2005-06-17 renamed sg_ref to thy_ref;
2004-05-18 obua 2004-05-18 simplification for abelian groups