src/HOL/Induct/ABexp.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2012-03-14 wenzelm 2012-03-14 misc tuning;
2010-09-08 haftmann 2010-09-08 modernized primrec
2010-05-12 wenzelm 2010-05-12 removed obsolete CVS Ids;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-13 wenzelm 2001-11-13 tuned inductions;
2001-10-01 wenzelm 2001-10-01 tuned;
2001-02-03 wenzelm 2001-02-03 Induct: converted some theories to new-style format;
1998-11-05 nipkow 1998-11-05 Shortened names and added new thm.
1998-10-23 berghofe 1998-10-23 New example for using the datatype package: Arithmetic and boolean expressions.