
diff -r 2995639c6a09 -r 90695f46440b doc-src/TutorialI/Misc/Itrev.thy
--- a/doc-src/TutorialI/Misc/Itrev.thy	Fri Jan 12 16:28:14 2001 +0100
+++ b/doc-src/TutorialI/Misc/Itrev.thy	Fri Jan 12 16:32:01 2001 +0100
@@ -2,7 +2,7 @@
 theory Itrev = Main:;
 (*>*)
 
-section{*Induction heuristics*}
+section{*Induction Heuristics*}
 
 text{*\label{sec:InductionHeuristics}
 The purpose of this section is to illustrate some simple heuristics for




