
diff -r 1fead823c7c6 -r 6e15de7dd871 doc-src/TutorialI/CTL/ctl.tex
--- a/doc-src/TutorialI/CTL/ctl.tex	Tue Aug 28 13:15: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{document/Base.tex}
-\input{document/PDL.tex}
-\input{document/CTL.tex}
-\index{model checking example|)}




