changeset 10971 | 6852682eaf16 |
parent 10950 | aa788fcb75a5 |
child 10983 | 59961d32b1ae |
1.1 --- a/doc-src/TutorialI/CTL/document/CTL.tex Wed Jan 24 11:59:15 2001 +0100 1.2 +++ b/doc-src/TutorialI/CTL/document/CTL.tex Wed Jan 24 12:29:10 2001 +0100 1.3 @@ -2,7 +2,7 @@ 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}%