
diff -r 7917e66505a4 -r 6852682eaf16 doc-src/TutorialI/tutorial.tex
--- 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}
 




