doc-src/TutorialI/tutorial.tex
changeset 10212 33fe2d701ddd
parent 10178 aecb5bf6f76f
child 10236 7626cb4e1407
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Oct 12 18:09:06 2000 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Oct 12 18:38:23 2000 +0200
     1.3 @@ -67,7 +67,7 @@
     1.4  \input{fp}
     1.5  \chapter{The Rules of the Game}
     1.6  \input{sets}
     1.7 -\chapter{Inductively Defined Sets}
     1.8 +\input{Inductive/inductive}
     1.9  \input{Advanced/advanced}
    1.10  \chapter{More about Types}
    1.11  \chapter{Theory Presentation}