doc-src/TutorialI/Inductive/inductive.tex

--- a/doc-src/TutorialI/Inductive/inductive.tex	Wed Nov 07 16:43:01 2007 +0100
+++ b/doc-src/TutorialI/Inductive/inductive.tex	Wed Nov 07 18:19:04 2007 +0100
@@ -13,6 +13,11 @@
 context-free grammars. The first two sections are required reading for anybody
 interested in mathematical modelling.
 
+\begin{warn}
+Predicates can also be defined inductively.
+See {\S}\ref{sec:ind-predicates}.
+\end{warn}
+
 \input{Inductive/document/Even}
 \input{Inductive/document/Mutual}
 \input{Inductive/document/Star}