diff -r b44ad7e4c4d2 -r 279004936bb0 doc-src/TutorialI/Inductive/inductive.tex
--- a/doc-src/TutorialI/Inductive/inductive.tex	Mon Mar 19 13:28:06 2001 +0100
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Mon Mar 19 17:25:42 2001 +0100
@@ -18,7 +18,7 @@
 \input{Inductive/document/Mutual}
 \input{Inductive/document/Star}
 
-\section{Advanced inductive definitions}
+\section{Advanced Inductive Definitions}
 \label{sec:adv-ind-def}
 \input{Inductive/advanced-examples}