doc-src/TutorialI/Inductive/document/Advanced.tex
Thu, 09 Nov 2006 11:58:45 +0100 wenzelm updated;
less more (0) -10 -1 tip