doc-src/TutorialI/Inductive/document/Advanced.tex
Wed, 13 Dec 2000 17:46:49 +0100 wenzelm updated;
Tue, 12 Dec 2000 11:57:33 +0100 paulson auto-updated
less more (0) -2 tip