doc-src/TutorialI/Inductive/Even.tex
2000-12-13 nipkow 2000-12-13 *** empty log message ***
2000-11-26 nipkow 2000-11-26 *** empty log message ***
2000-11-07 paulson 2000-11-07 better discussion of rule induction
2000-10-26 paulson 2000-10-26 added the $Id:$ line
2000-10-25 paulson 2000-10-25 Even numbers section of Inductive chapter