src/HOL/Isar_examples/NestedDatatype.thy
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;