1.1 --- a/doc-src/TutorialI/CTL/document/CTL.tex	Sat Nov 04 18:44:34 2000 +0100
     1.2 +++ b/doc-src/TutorialI/CTL/document/CTL.tex	Sat Nov 04 18:54:22 2000 +0100
     1.3 @@ -2,7 +2,8 @@
     1.4  \begin{isabellebody}%
     1.5  \def\isabellecontext{CTL}%
     1.6  %
     1.7 -\isamarkupsubsection{Computation tree logic---CTL}
     1.8 +\isamarkupsubsection{Computation tree logic---CTL%
     1.9 +}
    1.10  %
    1.11  \begin{isamarkuptext}%
    1.12  \label{sec:CTL}