diff -r 0d36ace55e5a -r cd1a2bee5549 doc-src/TutorialI/Inductive/inductive.tex
--- a/doc-src/TutorialI/Inductive/inductive.tex	Tue Jan 02 11:03:37 2001 +0100
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Tue Jan 02 12:04:33 2001 +0100
@@ -14,6 +14,7 @@
 of advanced forms of inductive definitions.
 
 \input{Inductive/Even}
+\input{Inductive/document/Mutual}
 \input{Inductive/document/Star}
 
 \section{Advanced inductive definitions}