Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
Fri, 23 Apr 2004 21:46:04 +0200 | wenzelm | improved notation; | file | diff | annotate |
Thu, 22 Apr 2004 11:01:34 +0200 | wenzelm | improved notation; | file | diff | annotate |
Tue, 18 Mar 2003 18:07:06 +0100 | paulson | moved Exponent, Coset, Sylow from GroupTheory to Algebra, converting them | file | diff | annotate |