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 |