doc-src/TutorialI/Inductive/Advanced.thy
2000-11-14 paulson 2000-11-14 first version of Advanced Inductive Defs section
2000-11-10 nipkow 2000-11-10 rule inversion
2000-11-03 paulson 2000-11-03 advanced induction examples