--- a/doc-src/TutorialI/tutorial.tex Fri Jan 12 16:28:14 2001 +0100
+++ b/doc-src/TutorialI/tutorial.tex Fri Jan 12 16:32:01 2001 +0100
@@ -21,6 +21,7 @@
\newcommand{\isasymImp}{\isasymLongrightarrow}
\newcommand{\isasymFun}{\isasymRightarrow}
\newcommand{\isasymuniqex}{\isamath{\exists!\,}}
+\renewcommand{\S}{Sect.\ts}
\renewenvironment{isamarkuptxt}{\begin{isamarkuptext}}{\end{isamarkuptext}}
@@ -88,7 +89,7 @@
\input{Types/types}
\input{Advanced/advanced}
\chapter{Theory Presentation}
-\chapter{Case Study: The Needhamd-Schroeder Protocol}
+\chapter{Case Study: Verifying a Cryptographic Protocol}
\chapter{Structured Proofs}
\chapter{Case Study: UNIX File-System Security}
%\chapter{The Tricks of the Trade}