doc-src/TutorialI/Recdef/document/Induction.tex
Sun, 21 Jan 2001 19:50:43 +0100 wenzelm updated;
Fri, 05 Jan 2001 18:32:57 +0100 paulson minor edits to Chapters 1-3
Tue, 31 Oct 2000 08:53:12 +0100 nipkow *** empty log message ***
less more (0) -10 -3 tip