doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Mon Oct 23 18:55:00 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Mon Oct 23 20:58:12 2000 +0200
@@ -81,7 +81,7 @@
 \input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
 \input{Inductive/inductive}
 \input{Advanced/advanced}
-\chapter{More about Types}
+\input{Types/types}
 \chapter{Theory Presentation}
 \chapter{Case Study: The Needhamd-Schroeder Protocol}
 \chapter{Structured Proofs}