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 |
Fri, 02 May 2003 10:25:42 +0200 | paulson | moved Bij.thy from HOL/GroupTheory | file | diff | annotate |