# HG changeset patch
# User paulson
# Date 1040291293 -3600
# Node ID 2188f247605c0b68e01f0d0e9840d462677216b0
# Parent  aa7360806a19237610831cca53d444f67b3f5a3f
auto-update

diff -r aa7360806a19 -r 2188f247605c doc-src/TutorialI/CTL/document/Base.tex
--- a/doc-src/TutorialI/CTL/document/Base.tex	Wed Dec 18 12:54:57 2002 +0100
+++ b/doc-src/TutorialI/CTL/document/Base.tex	Thu Dec 19 10:48:13 2002 +0100
@@ -98,6 +98,7 @@
 telling us which atomic propositions are true in each state.%
 \end{isamarkuptext}%
 \isamarkuptrue%
+\isanewline
 \isamarkupfalse%
 \end{isabellebody}%
 %%% Local Variables:
diff -r aa7360806a19 -r 2188f247605c doc-src/TutorialI/CTL/document/CTL.tex
--- a/doc-src/TutorialI/CTL/document/CTL.tex	Wed Dec 18 12:54:57 2002 +0100
+++ b/doc-src/TutorialI/CTL/document/CTL.tex	Thu Dec 19 10:48:13 2002 +0100
@@ -16,6 +16,7 @@
 \isa{formula} by a new constructor%
 \end{isamarkuptext}%
 \isamarkuptrue%
+\isanewline
 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ {\isacharbar}\ AF\ formula\isamarkupfalse%
 %
 \begin{isamarkuptext}%
@@ -39,6 +40,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 \isamarkupfalse%
+\isanewline
 {\isachardoublequote}s\ {\isasymTurnstile}\ AF\ f\ \ \ \ {\isacharequal}\ {\isacharparenleft}{\isasymforall}p\ {\isasymin}\ Paths\ s{\isachardot}\ {\isasymexists}i{\isachardot}\ p\ i\ {\isasymTurnstile}\ f{\isacharparenright}{\isachardoublequote}\isamarkupfalse%
 %
 \begin{isamarkuptext}%
@@ -57,6 +59,7 @@
 \end{isamarkuptext}%
 \isamarkuptrue%
 \isamarkupfalse%
+\isanewline
 {\isachardoublequote}mc{\isacharparenleft}AF\ f{\isacharparenright}\ \ \ \ {\isacharequal}\ lfp{\isacharparenleft}af{\isacharparenleft}mc\ f{\isacharparenright}{\isacharparenright}{\isachardoublequote}\isamarkupfalse%
 %
 \begin{isamarkuptext}%
@@ -480,6 +483,7 @@
 \index{CTL|)}%
 \end{isamarkuptext}%
 \isamarkuptrue%
+\isanewline
 \isamarkupfalse%
 \end{isabellebody}%
 %%% Local Variables:
diff -r aa7360806a19 -r 2188f247605c doc-src/TutorialI/CTL/document/CTLind.tex
--- a/doc-src/TutorialI/CTL/document/CTLind.tex	Wed Dec 18 12:54:57 2002 +0100
+++ b/doc-src/TutorialI/CTL/document/CTLind.tex	Thu Dec 19 10:48:13 2002 +0100
@@ -181,6 +181,7 @@
 \isacommand{by}{\isacharparenleft}auto\ elim{\isacharcolon}\ Avoid{\isacharunderscore}in{\isacharunderscore}lfp\ intro{\isacharcolon}\ Avoid{\isachardot}intros{\isacharparenright}\isanewline
 \isanewline
 \isamarkupfalse%
+\isanewline
 \isamarkupfalse%
 \end{isabellebody}%
 %%% Local Variables:
diff -r aa7360806a19 -r 2188f247605c doc-src/TutorialI/CTL/document/PDL.tex
--- a/doc-src/TutorialI/CTL/document/PDL.tex	Wed Dec 18 12:54:57 2002 +0100
+++ b/doc-src/TutorialI/CTL/document/PDL.tex	Thu Dec 19 10:48:13 2002 +0100
@@ -253,6 +253,7 @@
 \isamarkupfalse%
 \isamarkupfalse%
 \isamarkupfalse%
+\isanewline
 \isamarkupfalse%
 \end{isabellebody}%
 %%% Local Variables: