| changeset 10395 | 7ef380745743 |
| parent 10362 | c6b197ccf1f1 |
| child 10795 | 9e888d60d3e5 |
--- a/doc-src/TutorialI/CTL/document/Base.tex Sat Nov 04 18:44:34 2000 +0100 +++ b/doc-src/TutorialI/CTL/document/Base.tex Sat Nov 04 18:54:22 2000 +0100 @@ -2,7 +2,8 @@ \begin{isabellebody}% \def\isabellecontext{Base}% % -\isamarkupsection{Case study: Verified model checking} +\isamarkupsection{Case study: Verified model checking% +} % \begin{isamarkuptext}% \label{sec:VMC}