| 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 |