--- a/doc-src/TutorialI/Misc/document/case_exprs.tex Sat Nov 04 18:44:34 2000 +0100
+++ b/doc-src/TutorialI/Misc/document/case_exprs.tex Sat Nov 04 18:54:22 2000 +0100
@@ -2,7 +2,8 @@
\begin{isabellebody}%
\def\isabellecontext{case{\isacharunderscore}exprs}%
%
-\isamarkupsubsection{Case expressions}
+\isamarkupsubsection{Case expressions%
+}
%
\begin{isamarkuptext}%
\label{sec:case-expressions}
@@ -48,7 +49,8 @@
indicate their scope%
\end{isamarkuptext}%
%
-\isamarkupsubsection{Structural induction and case distinction}
+\isamarkupsubsection{Structural induction and case distinction%
+}
%
\begin{isamarkuptext}%
\indexbold{structural induction}