doc-src/TutorialI/Inductive/document/Mutual.tex
Sun, 21 Oct 2001 19:49:29 +0200 wenzelm updated;
Thu, 09 Aug 2001 18:12:15 +0200 paulson revisions and indexing
less more (0) -2 tip