doc-src/TutorialI/CTL/ctl.tex

--- a/doc-src/TutorialI/CTL/ctl.tex	Mon Oct 09 17:40:47 2000 +0200
+++ b/doc-src/TutorialI/CTL/ctl.tex	Mon Oct 09 19:20:55 2000 +0200
@@ -1,3 +1,6 @@
+\index{CTL|(}
+\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|)}