doc-src/TutorialI/tutorial.tex
changeset 11067 60c83075e41f
parent 10978 5eebea8f359f
child 11110 306beb99e192
     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}