
diff -r e928bdf62014 -r e61e7e1eacaf doc-src/TutorialI/Advanced/advanced.tex
--- a/doc-src/TutorialI/Advanced/advanced.tex	Fri Oct 13 11:15:56 2000 +0200
+++ b/doc-src/TutorialI/Advanced/advanced.tex	Fri Oct 13 18:02:08 2000 +0200
@@ -43,4 +43,5 @@
 \label{sec:advanced-ind}
 \index{induction|(}
 \input{Misc/document/AdvancedInd.tex}
+\input{CTL/document/CTLind.tex}
 \index{induction|)}




