
diff -r eef9e422929a -r 7ef380745743 doc-src/TutorialI/Ifexpr/document/Ifexpr.tex
--- a/doc-src/TutorialI/Ifexpr/document/Ifexpr.tex	Sat Nov 04 18:44:34 2000 +0100
+++ b/doc-src/TutorialI/Ifexpr/document/Ifexpr.tex	Sat Nov 04 18:54:22 2000 +0100
@@ -2,7 +2,8 @@
 \begin{isabellebody}%
 \def\isabellecontext{Ifexpr}%
 %
-\isamarkupsubsection{Case study: boolean expressions}
+\isamarkupsubsection{Case study: boolean expressions%
+}
 %
 \begin{isamarkuptext}%
 \label{sec:boolex}
@@ -11,7 +12,8 @@
 the constructs introduced above.%
 \end{isamarkuptext}%
 %
-\isamarkupsubsubsection{How can we model boolean expressions?}
+\isamarkupsubsubsection{How can we model boolean expressions?%
+}
 %
 \begin{isamarkuptext}%
 We want to represent boolean expressions built up from variables and




