src/HOL/Induct/ABexp.thy
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.