diff -r f51d4a302962 -r 5386df44a037 doc-src/TutorialI/document/ctl0.tex
--- a/doc-src/TutorialI/document/ctl0.tex	Tue Aug 28 18:46:15 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-\index{model checking example|(}%
-\index{lfp@{\texttt{lfp}}!applications of|see{CTL}}
-\input{Base.tex}
-\input{PDL.tex}
-\input{CTL.tex}
-\index{model checking example|)}