doc-src/TutorialI/Inductive/Advanced.tex
2000-11-16 paulson 2000-11-16 ground terms section: new intro
2000-11-14 paulson 2000-11-14 first version of Advanced Inductive Defs section