doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Thu Oct 12 18:09:06 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Thu Oct 12 18:38:23 2000 +0200
@@ -67,7 +67,7 @@
 \input{fp}
 \chapter{The Rules of the Game}
 \input{sets}
-\chapter{Inductively Defined Sets}
+\input{Inductive/inductive}
 \input{Advanced/advanced}
 \chapter{More about Types}
 \chapter{Theory Presentation}