--- a/doc-src/TutorialI/tutorial.tex Thu Dec 13 16:48:07 2001 +0100
+++ b/doc-src/TutorialI/tutorial.tex Thu Dec 13 16:48:34 2001 +0100
@@ -69,10 +69,18 @@
\input{Advanced/advanced}
\input{Protocol/protocol}
-%\chapter{Structured Proofs}
-%\label{ch:Isar}
-%\chapter{Case Study: UNIX File-System Security}
-%\chapter{The Tricks of the Trade}
+\markboth{}{}
+\cleardoublepage
+\vspace*{\fill}
+\begin{flushright}
+\begin{tabular}{l}
+{\large\sf\slshape You know my methods. Apply them!}\\[1ex]
+Sherlock Holmes
+\end{tabular}
+\end{flushright}
+\vspace*{\fill}
+\vspace*{\fill}
+
\input{appendix}
\bibliographystyle{plain}