--- a/doc-src/TutorialI/Inductive/inductive.tex Fri Jan 12 16:19:44 2001 +0100
+++ b/doc-src/TutorialI/Inductive/inductive.tex Fri Jan 12 16:28:14 2001 +0100
@@ -13,12 +13,12 @@
from the realm of context-free grammars. The chapter closes with a discussion
of advanced forms of inductive definitions.
-\input{Inductive/Even}
+\input{Inductive/even-example}
\input{Inductive/document/Mutual}
\input{Inductive/document/Star}
\section{Advanced inductive definitions}
-\input{Inductive/Advanced}
+\input{Inductive/advanced-examples}
\input{Inductive/document/AB}