1.1 --- a/doc-src/TutorialI/tutorial.tex	Mon Oct 09 17:40:47 2000 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Mon Oct 09 19:20:55 2000 +0200
     1.3 @@ -47,8 +47,8 @@
     1.4         \\ \vspace{0.5cm} The Tutorial
     1.5         \\ --- DRAFT ---}
     1.6  \author{Tobias Nipkow\\
     1.7 -Technische Universit\"at M\"unchen \\
     1.8 -Institut f\"ur Informatik \\
     1.9 +Technische Universit{\"a}t M{\"u}nchen \\
    1.10 +Institut f{\"u}r Informatik \\
    1.11  \url{http://www.in.tum.de/~nipkow/}}
    1.12  \maketitle
    1.13  
    1.14 @@ -57,7 +57,7 @@
    1.15  
    1.16  \subsubsection*{Acknowledgements}
    1.17  This tutorial owes a lot to the constant discussions with and the valuable
    1.18 -feedback from Larry Paulson and the Isabelle group at Munich: Olaf M\"uller,
    1.19 +feedback from Larry Paulson and the Isabelle group at Munich: Olaf M{\"u}ller,
    1.20  Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch
    1.21  and Markus Wenzel. Stefan Berghofer and Stephan Merz were also kind enough to
    1.22  read and comment on a draft version.
    1.23 @@ -65,8 +65,15 @@
    1.24  
    1.25  \input{basics}
    1.26  \input{fp}
    1.27 -\input{CTL/ctl}
    1.28 +\chapter{The Rules of the Game}
    1.29 +\input{sets}
    1.30 +\chapter{Inductively Defined Sets}
    1.31  \input{Advanced/advanced}
    1.32 +\chapter{More about Types}
    1.33 +\chapter{Theory Presentation}
    1.34 +\chapter{Case Study: The Needhamd-Schroeder Protocol}
    1.35 +\chapter{Structured Proofs}
    1.36 +\chapter{Case Study: UNIX File-System Security}
    1.37  %\chapter{The Tricks of the Trade}
    1.38  \input{appendix}
    1.39