src/HOL/Induct/Sexp.thy
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-10-01 wenzelm 2006-10-01 removed obsolete Datatype_Universe.thy (cf. Datatype.thy);
2006-09-30 wenzelm 2006-09-30 proper import of Main HOL;
2006-05-27 wenzelm 2006-05-27 tuned;
2005-12-15 wenzelm 2005-12-15 removed obsolete/unused setup_induction;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-04-04 paulson 2002-04-04 conversion of Induct/{Slist,Sexp} to Isar scripts
2001-08-08 paulson 2001-08-08 get it working again using Hilbert_Choice
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-05-08 wenzelm 2000-05-08 moved theory Sexp to Induct examples;