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