doc-src/TutorialI/CTL/ctl.tex

--- a/doc-src/TutorialI/CTL/ctl.tex	Thu Jul 26 18:23:38 2001 +0200
+++ b/doc-src/TutorialI/CTL/ctl.tex	Fri Aug 03 18:04:55 2001 +0200
@@ -1,6 +1,6 @@
-\index{CTL|(}
+\index{model checking example|(}%
 \index{lfp@{\texttt{lfp}}!applications of|see{CTL}}
 \input{CTL/document/Base.tex}
 \input{CTL/document/PDL.tex}
 \input{CTL/document/CTL.tex}
-\index{CTL|)}
+\index{model checking example|)}