Mon, 07 Mar 2005 19:17:07 +0100 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
Sun, 14 Nov 2004 01:40:27 +0100 | webertj | DOCTYPE declaration added | file | diff | annotate |
Sun, 04 Feb 2001 19:41:47 +0100 | wenzelm | updated | file | diff | annotate |
Tue, 01 Sep 1998 15:04:59 +0200 | paulson | new theory Induct/FoldSet | file | diff | annotate |
Wed, 07 May 1997 13:49:57 +0200 | paulson | Documentation for directory "Induct" | file | diff | annotate |