diff -r 7917e66505a4 -r 6852682eaf16 doc-src/TutorialI/CTL/document/CTL.tex
--- a/doc-src/TutorialI/CTL/document/CTL.tex	Wed Jan 24 11:59:15 2001 +0100
+++ b/doc-src/TutorialI/CTL/document/CTL.tex	Wed Jan 24 12:29:10 2001 +0100
@@ -2,7 +2,7 @@
 \begin{isabellebody}%
 \def\isabellecontext{CTL}%
 %
-\isamarkupsubsection{Computation Tree Logic---CTL%
+\isamarkupsubsection{Computation Tree Logic --- CTL%
 }
 %
 \begin{isamarkuptext}%