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