doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Thu Dec 14 19:38:37 2000 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Fri Dec 15 12:32:35 2000 +0100
@@ -85,8 +85,8 @@
 \input{Rules/rules}
 \input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
 \input{Inductive/inductive}
+\input{Types/types}
 \input{Advanced/advanced}
-\input{Types/types}
 \chapter{Theory Presentation}
 \chapter{Case Study: The Needhamd-Schroeder Protocol}
 \chapter{Structured Proofs}