src/HOL/OrderedGroup.ML
Tue, 26 Sep 2006 13:34:16 +0200 haftmann renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
Fri, 14 Jul 2006 14:37:15 +0200 ballarin Term.term_lpo takes order on terms rather than strings as argument.
Mon, 27 Mar 2006 18:10:02 +0200 paulson removed illegal character codes
Fri, 10 Mar 2006 15:33:48 +0100 haftmann renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
Sat, 04 Feb 2006 03:14:32 +0100 huffman speedup: use simproc for AC rules
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