
diff -r 2995639c6a09 -r 90695f46440b doc-src/TutorialI/tutorial.tex
--- 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}




