doc-src/TutorialI/tutorial.tex
changeset 10676 06f390008ceb
parent 10654 458068404143
child 10885 90695f46440b
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Dec 14 19:38:37 2000 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Fri Dec 15 12:32:35 2000 +0100
     1.3 @@ -85,8 +85,8 @@
     1.4  \input{Rules/rules}
     1.5  \input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
     1.6  \input{Inductive/inductive}
     1.7 +\input{Types/types}
     1.8  \input{Advanced/advanced}
     1.9 -\input{Types/types}
    1.10  \chapter{Theory Presentation}
    1.11  \chapter{Case Study: The Needhamd-Schroeder Protocol}
    1.12  \chapter{Structured Proofs}