doc-src/TutorialI/tutorial.tex

--- a/doc-src/TutorialI/tutorial.tex	Wed Mar 14 18:40:01 2001 +0100
+++ b/doc-src/TutorialI/tutorial.tex	Thu Mar 15 10:41:32 2001 +0100
@@ -89,7 +89,7 @@
 \input{Inductive/inductive}
 \input{Types/types}
 \input{Advanced/advanced}
-%\chapter{Theory Presentation}
+%\chapter{Theory Presentation} Document preparation / Syntax Matters!
 %\chapter{Case Study: Verifying a Cryptographic Protocol}
 %\chapter{Structured Proofs}
 %\label{ch:Isar}