# HG changeset patch
# User wenzelm
# Date 981381244 -3600
# Node ID 60c83075e41f5aa764c7cd144689c609194c9e78
# Parent  ceab8d437b960ad5dc370f9feba4b85c6062e916
disable non-existant chapters

diff -r ceab8d437b96 -r 60c83075e41f doc-src/TutorialI/tutorial.tex
--- a/doc-src/TutorialI/tutorial.tex	Mon Feb 05 14:40:21 2001 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Mon Feb 05 14:54:04 2001 +0100
@@ -88,10 +88,10 @@
 \input{Inductive/inductive}
 \input{Types/types}
 \input{Advanced/advanced}
-\chapter{Theory Presentation}
-\chapter{Case Study: Verifying a Cryptographic Protocol}
-\chapter{Structured Proofs}
-\label{ch:Isar}
+%\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}