| changeset 10762 | cd1a2bee5549 |
| parent 10520 | bb9dfcc87951 |
| child 10865 | 18927bcf7aed |
--- a/doc-src/TutorialI/Inductive/inductive.tex Tue Jan 02 11:03:37 2001 +0100 +++ b/doc-src/TutorialI/Inductive/inductive.tex Tue Jan 02 12:04:33 2001 +0100 @@ -14,6 +14,7 @@ of advanced forms of inductive definitions. \input{Inductive/Even} +\input{Inductive/document/Mutual} \input{Inductive/document/Star} \section{Advanced inductive definitions}