--- a/doc-src/TutorialI/Misc/document/case_exprs.tex Fri Jan 12 16:05:12 2001 +0100
+++ b/doc-src/TutorialI/Misc/document/case_exprs.tex Fri Jan 12 16:07:20 2001 +0100
@@ -2,7 +2,7 @@
\begin{isabellebody}%
\def\isabellecontext{case{\isacharunderscore}exprs}%
%
-\isamarkupsubsection{Case expressions%
+\isamarkupsubsection{Case Expressions%
}
%
\begin{isamarkuptext}%
@@ -49,7 +49,7 @@
indicate their scope%
\end{isamarkuptext}%
%
-\isamarkupsubsection{Structural induction and case distinction%
+\isamarkupsubsection{Structural Induction and Case Distinction%
}
%
\begin{isamarkuptext}%