doc-src/TutorialI/Inductive/document/Mutual.tex

--- a/doc-src/TutorialI/Inductive/document/Mutual.tex	Fri Jan 12 16:05:12 2001 +0100
+++ b/doc-src/TutorialI/Inductive/document/Mutual.tex	Fri Jan 12 16:07:20 2001 +0100
@@ -2,7 +2,7 @@
 \begin{isabellebody}%
 \def\isabellecontext{Mutual}%
 %
-\isamarkupsubsection{Mutually inductive definitions%
+\isamarkupsubsection{Mutually Inductive Definitions%
 }
 %
 \begin{isamarkuptext}%