changeset 10395 | 7ef380745743 |
parent 10363 | 6e8002c1790e |
child 10589 | b2d1b393b750 |
--- a/doc-src/TutorialI/CTL/document/CTL.tex Sat Nov 04 18:44:34 2000 +0100 +++ b/doc-src/TutorialI/CTL/document/CTL.tex Sat Nov 04 18:54:22 2000 +0100 @@ -2,7 +2,8 @@ \begin{isabellebody}% \def\isabellecontext{CTL}% % -\isamarkupsubsection{Computation tree logic---CTL} +\isamarkupsubsection{Computation tree logic---CTL% +} % \begin{isamarkuptext}% \label{sec:CTL}