doc-src/TutorialI/tutorial.tex
changeset 10305 adff80268127
parent 10298 b5fe1ab860fc
child 10340 0a380ac80e7d
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Oct 23 18:55:00 2000 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Mon Oct 23 20:58:12 2000 +0200
     1.3 @@ -81,7 +81,7 @@
     1.4  \input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
     1.5  \input{Inductive/inductive}
     1.6  \input{Advanced/advanced}
     1.7 -\chapter{More about Types}
     1.8 +\input{Types/types}
     1.9  \chapter{Theory Presentation}
    1.10  \chapter{Case Study: The Needhamd-Schroeder Protocol}
    1.11  \chapter{Structured Proofs}