1.1 --- a/doc-src/TutorialI/CTL/document/Base.tex	Wed Dec 18 12:54:57 2002 +0100
     1.2 +++ b/doc-src/TutorialI/CTL/document/Base.tex	Thu Dec 19 10:48:13 2002 +0100
     1.3 @@ -98,6 +98,7 @@
     1.4  telling us which atomic propositions are true in each state.%
     1.5  \end{isamarkuptext}%
     1.6  \isamarkuptrue%
     1.7 +\isanewline
     1.8  \isamarkupfalse%
     1.9  \end{isabellebody}%
    1.10  %%% Local Variables:

     2.1 --- a/doc-src/TutorialI/CTL/document/CTL.tex	Wed Dec 18 12:54:57 2002 +0100
     2.2 +++ b/doc-src/TutorialI/CTL/document/CTL.tex	Thu Dec 19 10:48:13 2002 +0100
     2.3 @@ -16,6 +16,7 @@
     2.4  \isa{formula} by a new constructor%
     2.5  \end{isamarkuptext}%
     2.6  \isamarkuptrue%
     2.7 +\isanewline
     2.8  \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ AF\ formula\isamarkupfalse%
     2.9  %
    2.10  \begin{isamarkuptext}%
    2.11 @@ -39,6 +40,7 @@
    2.12  \end{isamarkuptext}%
    2.13  \isamarkuptrue%
    2.14  \isamarkupfalse%
    2.15 +\isanewline
    2.16  {\isachardoublequote}s\ {\isasymTurnstile}\ AF\ f\ \ \ \ {\isacharequal}\ {\isacharparenleft}{\isasymforall}p\ {\isasymin}\ Paths\ s{\isachardot}\ {\isasymexists}i{\isachardot}\ p\ i\ {\isasymTurnstile}\ f{\isacharparenright}{\isachardoublequote}\isamarkupfalse%
    2.17  %
    2.18  \begin{isamarkuptext}%
    2.19 @@ -57,6 +59,7 @@
    2.20  \end{isamarkuptext}%
    2.21  \isamarkuptrue%
    2.22  \isamarkupfalse%
    2.23 +\isanewline
    2.24  {\isachardoublequote}mc{\isacharparenleft}AF\ f{\isacharparenright}\ \ \ \ {\isacharequal}\ lfp{\isacharparenleft}af{\isacharparenleft}mc\ f{\isacharparenright}{\isacharparenright}{\isachardoublequote}\isamarkupfalse%
    2.25  %
    2.26  \begin{isamarkuptext}%
    2.27 @@ -480,6 +483,7 @@
    2.28  \index{CTL|)}%
    2.29  \end{isamarkuptext}%
    2.30  \isamarkuptrue%
    2.31 +\isanewline
    2.32  \isamarkupfalse%
    2.33  \end{isabellebody}%
    2.34  %%% Local Variables:

     3.1 --- a/doc-src/TutorialI/CTL/document/CTLind.tex	Wed Dec 18 12:54:57 2002 +0100
     3.2 +++ b/doc-src/TutorialI/CTL/document/CTLind.tex	Thu Dec 19 10:48:13 2002 +0100
     3.3 @@ -181,6 +181,7 @@
     3.4  \isacommand{by}{\isacharparenleft}auto\ elim{\isacharcolon}\ Avoid{\isacharunderscore}in{\isacharunderscore}lfp\ intro{\isacharcolon}\ Avoid{\isachardot}intros{\isacharparenright}\isanewline
     3.5  \isanewline
     3.6  \isamarkupfalse%
     3.7 +\isanewline
     3.8  \isamarkupfalse%
     3.9  \end{isabellebody}%
    3.10  %%% Local Variables:

     4.1 --- a/doc-src/TutorialI/CTL/document/PDL.tex	Wed Dec 18 12:54:57 2002 +0100
     4.2 +++ b/doc-src/TutorialI/CTL/document/PDL.tex	Thu Dec 19 10:48:13 2002 +0100
     4.3 @@ -253,6 +253,7 @@
     4.4  \isamarkupfalse%
     4.5  \isamarkupfalse%
     4.6  \isamarkupfalse%
     4.7 +\isanewline
     4.8  \isamarkupfalse%
     4.9  \end{isabellebody}%
    4.10  %%% Local Variables: