| Fri, 10 Mar 2006 15:33:48 +0100 | haftmann | renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc. | file | diff | annotate |
| Sat, 04 Feb 2006 03:14:32 +0100 | huffman | speedup: use simproc for AC rules | file | diff | annotate |
| Sat, 25 Jun 2005 16:06:17 +0200 | nipkow | Changes due to new abel_cancel.ML | file | diff | annotate |
| Fri, 17 Jun 2005 18:33:03 +0200 | wenzelm | renamed sg_ref to thy_ref; | file | diff | annotate |
| Tue, 18 May 2004 10:02:50 +0200 | obua | simplification for abelian groups | file | diff | annotate |