doc-src/TutorialI/tutorial.tex

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