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