doc-src/TutorialI/tutorial.tex

 \input{Rules/rules}
 \input{Sets/sets}\input{CTL/ctl}  %these constitute ONE chapter
 \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}
 %\chapter{Case Study: UNIX File-System Security}
 %\chapter{The Tricks of the Trade}