doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Tue Apr 10 16:09:26 2001 +0200
+++ b/doc-src/TutorialI/tutorial.tex	Tue Apr 10 16:11:01 2001 +0200
@@ -90,7 +90,7 @@
 \input{Types/types}
 \input{Advanced/advanced}
 %\chapter{Theory Presentation} Document preparation / Syntax Matters!
-%\chapter{Case Study: Verifying a Cryptographic Protocol}
+\input{Protocol/protocol}
 %\chapter{Structured Proofs}
 %\label{ch:Isar}
 %\chapter{Case Study: UNIX File-System Security}