--- 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}