1.1 --- a/doc-src/TutorialI/tutorial.tex Mon Feb 05 14:40:21 2001 +0100
1.2 +++ b/doc-src/TutorialI/tutorial.tex Mon Feb 05 14:54:04 2001 +0100
1.3 @@ -88,10 +88,10 @@
1.4 \input{Inductive/inductive}
1.5 \input{Types/types}
1.6 \input{Advanced/advanced}
1.7 -\chapter{Theory Presentation}
1.8 -\chapter{Case Study: Verifying a Cryptographic Protocol}
1.9 -\chapter{Structured Proofs}
1.10 -\label{ch:Isar}
1.11 +%\chapter{Theory Presentation}
1.12 +%\chapter{Case Study: Verifying a Cryptographic Protocol}
1.13 +%\chapter{Structured Proofs}
1.14 +%\label{ch:Isar}
1.15 %\chapter{Case Study: UNIX File-System Security}
1.16 %\chapter{The Tricks of the Trade}
1.17 \input{appendix}