src/HOL/Induct/Tree.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-03-01 krauss 2010-03-01 tuned comment
2010-03-01 krauss 2010-03-01 more recdef (and old primrec) hunting
2009-06-10 haftmann 2009-06-10 tuned header
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-05-27 wenzelm 2006-05-27 tuned;
2005-11-24 wenzelm 2005-11-24 tuned induct proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-06-01 paulson 2005-06-01 ordering for the ordinals
2005-05-25 paulson 2005-05-25 new Brouwer ordinal example
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;
1999-07-16 berghofe 1999-07-16 Infinitely branching trees.