diff -r 8e9a8ede2f11 -r e187dacd248f 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}