--- a/doc-src/TutorialI/tutorial.tex Mon Oct 09 17:40:47 2000 +0200
+++ b/doc-src/TutorialI/tutorial.tex Mon Oct 09 19:20:55 2000 +0200
@@ -47,8 +47,8 @@
\\ \vspace{0.5cm} The Tutorial
\\ --- DRAFT ---}
\author{Tobias Nipkow\\
-Technische Universit\"at M\"unchen \\
-Institut f\"ur Informatik \\
+Technische Universit{\"a}t M{\"u}nchen \\
+Institut f{\"u}r Informatik \\
\url{http://www.in.tum.de/~nipkow/}}
\maketitle
@@ -57,7 +57,7 @@
\subsubsection*{Acknowledgements}
This tutorial owes a lot to the constant discussions with and the valuable
-feedback from Larry Paulson and the Isabelle group at Munich: Olaf M\"uller,
+feedback from Larry Paulson and the Isabelle group at Munich: Olaf M{\"u}ller,
Wolfgang Naraschewski, David von Oheimb, Leonor Prensa Nieto, Cornelia Pusch
and Markus Wenzel. Stefan Berghofer and Stephan Merz were also kind enough to
read and comment on a draft version.
@@ -65,8 +65,15 @@
\input{basics}
\input{fp}
-\input{CTL/ctl}
+\chapter{The Rules of the Game}
+\input{sets}
+\chapter{Inductively Defined Sets}
\input{Advanced/advanced}
+\chapter{More about Types}
+\chapter{Theory Presentation}
+\chapter{Case Study: The Needhamd-Schroeder Protocol}
+\chapter{Structured Proofs}
+\chapter{Case Study: UNIX File-System Security}
%\chapter{The Tricks of the Trade}
\input{appendix}