src/HOL/Induct/README.html
Wed, 12 May 2010 14:17:26 +0200 wenzelm removed obsolete CVS Ids;
Sat, 14 Nov 2009 19:56:18 +0100 wenzelm moved old SList, LList, LFilter to AFP/Lazy-Lists-II;
Mon, 07 Mar 2005 19:17:07 +0100 webertj HTML 4.01 Transitional conformity
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Sun, 04 Feb 2001 19:41:47 +0100 wenzelm updated
Tue, 01 Sep 1998 15:04:59 +0200 paulson new theory Induct/FoldSet
Wed, 07 May 1997 13:49:57 +0200 paulson Documentation for directory "Induct"
less more (0) tip