doc-src/TutorialI/Inductive/document/Advanced.tex
Sun, 21 Oct 2001 19:49:29 +0200 wenzelm updated;
Mon, 08 Oct 2001 12:28:43 +0200 wenzelm *** empty log message ***
Wed, 28 Feb 2001 12:37:48 +0100 paulson auto-update
less more (0) -10 -3 tip