doc-src/TutorialI/Inductive/inductive.tex
2000-11-26 nipkow 2000-11-26 *** empty log message ***
2000-11-14 paulson 2000-11-14 first version of Advanced Inductive Defs section
2000-11-03 paulson 2000-11-03 the section command will belong to the new file
2000-10-25 paulson 2000-10-25 inputs Even.tex
2000-10-18 nipkow 2000-10-18 *** empty log message ***
2000-10-16 nipkow 2000-10-16 *** empty log message ***
2000-10-13 nipkow 2000-10-13 *** empty log message ***