doc-src/TutorialI/Inductive/inductive.tex

--- a/doc-src/TutorialI/Inductive/inductive.tex	Fri Nov 24 16:49:27 2000 +0100
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Sun Nov 26 10:48:38 2000 +0100
@@ -15,10 +15,11 @@
 
 \input{Inductive/Even}
 \input{Inductive/document/Star}
-\input{Inductive/document/AB}
 
 \section{Advanced inductive definitions}
 \input{Inductive/Advanced}
 
+\input{Inductive/document/AB}
+
 \index{inductive definition|)}
 \index{*inductive|)}