doc-src/TutorialI/Inductive/even-example.tex
Thu, 15 Feb 2001 11:15:39 +0100 nipkow *** empty log message ***
Fri, 12 Jan 2001 16:09:33 +0100 paulson renaming to avoid clashes
less more (0) tip