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 |