src/HOL/Induct/Sexp.thy
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Thu, 04 Apr 2002 17:32:52 +0200 paulson conversion of Induct/{Slist,Sexp} to Isar scripts
Wed, 08 Aug 2001 14:51:10 +0200 paulson get it working again using Hilbert_Choice
Thu, 12 Oct 2000 18:38:23 +0200 nipkow *** empty log message ***
Mon, 08 May 2000 20:59:30 +0200 wenzelm moved theory Sexp to Induct examples;
less more (0) tip