src/HOL/OrderedGroup.ML
Sat, 25 Jun 2005 16:06:17 +0200 nipkow Changes due to new abel_cancel.ML
Fri, 17 Jun 2005 18:33:03 +0200 wenzelm renamed sg_ref to thy_ref;
Tue, 18 May 2004 10:02:50 +0200 obua simplification for abelian groups
less more (0) tip