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