src/HOL/Isar_examples/NestedDatatype.thy
2005-12-22 wenzelm 2005-12-22 tuned induct proofs;
2005-11-10 wenzelm 2005-11-10 tuned proofs;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-10-16 wenzelm 2001-10-16 tuned induction proofs;
2000-11-12 wenzelm 2000-11-12 simplified induction;
2000-09-17 wenzelm 2000-09-17 isar-strip-terminators;
2000-08-19 wenzelm 2000-08-19 tuned;
2000-04-15 wenzelm 2000-04-15 plain ASCII;
2000-04-05 wenzelm 2000-04-05 added NestedDatatype.thy;