--- a/doc-src/TutorialI/tutorial.tex Wed Jan 24 11:59:15 2001 +0100
+++ b/doc-src/TutorialI/tutorial.tex Wed Jan 24 12:29:10 2001 +0100
@@ -75,9 +75,9 @@
\subsubsection*{Acknowledgements}
This tutorial owes a lot to the constant discussions with and the valuable
-feedback from the Isabelle group at Munich: Olaf M{\"u}ller,
+feedback from the Isabelle group at Munich: Stefan Berghofer, 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
+and Markus Wenzel. Stephan Merz was also kind enough to
read and comment on a draft version.
\clearfirst
@@ -91,7 +91,7 @@
\chapter{Theory Presentation}
\chapter{Case Study: Verifying a Cryptographic Protocol}
\chapter{Structured Proofs}
-\chapter{Case Study: UNIX File-System Security}
+%\chapter{Case Study: UNIX File-System Security}
%\chapter{The Tricks of the Trade}
\input{appendix}