--- 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