Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
Sat, 14 Nov 2009 19:56:18 +0100 | wenzelm | moved old SList, LList, LFilter to AFP/Lazy-Lists-II; | file | diff | annotate |
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 |