doc-src/TutorialI/CTL/ctl.tex

--- a/doc-src/TutorialI/CTL/ctl.tex	Tue Oct 03 01:15:11 2000 +0200
+++ b/doc-src/TutorialI/CTL/ctl.tex	Tue Oct 03 11:26:54 2000 +0200
@@ -1,3 +1,3 @@
 \input{CTL/document/Base.tex}
 \input{CTL/document/PDL.tex}
-
+\input{CTL/document/CTL.tex}