doc-src/TutorialI/tutorial.tex
changeset 11207 08188224c24e
parent 11110 306beb99e192
child 11213 aeb5c72dd72a
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Wed Mar 14 18:40:01 2001 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Mar 15 10:41:32 2001 +0100
     1.3 @@ -89,7 +89,7 @@
     1.4  \input{Inductive/inductive}
     1.5  \input{Types/types}
     1.6  \input{Advanced/advanced}
     1.7 -%\chapter{Theory Presentation}
     1.8 +%\chapter{Theory Presentation} Document preparation / Syntax Matters!
     1.9  %\chapter{Case Study: Verifying a Cryptographic Protocol}
    1.10  %\chapter{Structured Proofs}
    1.11  %\label{ch:Isar}