
diff -r 6417de2029b0 -r b254d5ad6dd4 doc-src/TutorialI/Misc/document/case_exprs.tex
--- 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}%




