src/HOL/Induct/Comb.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-07 wenzelm 2014-10-07 more bibtex entries; more antiquotations;
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
2010-03-06 paulson 2010-03-06 simplified
2007-07-11 berghofe 2007-07-11 Adapted to new inductive definition package.
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-07 wenzelm 2006-11-07 renamed 'const_syntax' to 'notation';
2006-05-27 wenzelm 2006-05-27 tuned;
2005-06-28 paulson 2005-06-28 stricter first-order check for meson
2005-06-24 paulson 2005-06-24 meson method taking an argument list
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-04-22 paulson 2005-04-22 x-symbol syntax
2002-04-02 paulson 2002-04-02 conversion of some HOL/Induct proof scripts to Isar
2001-06-01 paulson 2001-06-01 renamed # to ## to avoid clashing with List cons
2000-06-21 wenzelm 2000-06-21 fixed deps;
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-06-30 berghofe 1998-06-30 Adapted to new inductive definition package.
1997-05-23 nipkow 1997-05-23 All datatypes now require Arith.
1997-05-07 paulson 1997-05-07 New directory to contain examples of (co)inductive definitions