
diff -r 2b9f87bf9113 -r 2995639c6a09 doc-src/TutorialI/Inductive/inductive.tex
--- 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}
 




