| changeset 11216 | 279004936bb0 |
| parent 11147 | d848c6693185 |
| child 11411 | c315dda16748 |
--- 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}