doc-src/TutorialI/Types/Overloading0.thy

--- a/doc-src/TutorialI/Types/Overloading0.thy	Fri Jan 12 16:28:14 2001 +0100
+++ b/doc-src/TutorialI/Types/Overloading0.thy	Fri Jan 12 16:32:01 2001 +0100
@@ -4,7 +4,7 @@
 useful on its own: \emph{overloading}. Isabelle allows overloading: a
 constant may have multiple definitions at non-overlapping types. *}
 
-subsubsection{*An initial example*}
+subsubsection{*An Initial Example*}
 
 text{*
 If we want to introduce the notion of an \emph{inverse} for arbitrary types we