--- a/doc-src/TutorialI/Inductive/advanced-examples.tex Mon Mar 19 13:28:06 2001 +0100
+++ b/doc-src/TutorialI/Inductive/advanced-examples.tex Mon Mar 19 17:25:42 2001 +0100
@@ -114,7 +114,7 @@
\isa{set} of arguments expresses that all of them are well-formed.
-\subsection{Alternative Definition Using a monotone Function}
+\subsection{Alternative Definition Using a Monotone Function}
An inductive definition may refer to the inductively defined
set through an arbitrary monotone function. To demonstrate this