src/HOL/OrderedGroup.ML
2006-07-14 ballarin 2006-07-14 Term.term_lpo takes order on terms rather than strings as argument.
2006-03-27 paulson 2006-03-27 removed illegal character codes
2006-03-10 haftmann 2006-03-10 renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc.
2006-02-04 huffman 2006-02-04 speedup: use simproc for AC rules
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