1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Jan 25 11:59:52 2001 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Jan 25 15:31:31 2001 +0100
     1.3 @@ -91,6 +91,7 @@
     1.4  \chapter{Theory Presentation}
     1.5  \chapter{Case Study: Verifying a Cryptographic Protocol}
     1.6  \chapter{Structured Proofs}
     1.7 +\label{ch:Isar}
     1.8  %\chapter{Case Study: UNIX File-System Security}
     1.9  %\chapter{The Tricks of the Trade}
    1.10  \input{appendix}