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