doc-src/TutorialI/tutorial.tex
changeset 12489 c92e38c3cbaa
parent 11647 0538cb0f7999
child 12569 e290dadee51c
     1.1 --- a/doc-src/TutorialI/tutorial.tex	Thu Dec 13 16:48:07 2001 +0100
     1.2 +++ b/doc-src/TutorialI/tutorial.tex	Thu Dec 13 16:48:34 2001 +0100
     1.3 @@ -69,10 +69,18 @@
     1.4  \input{Advanced/advanced}
     1.5  \input{Protocol/protocol}
     1.6  
     1.7 -%\chapter{Structured Proofs}
     1.8 -%\label{ch:Isar}
     1.9 -%\chapter{Case Study: UNIX File-System Security}
    1.10 -%\chapter{The Tricks of the Trade}
    1.11 +\markboth{}{}
    1.12 +\cleardoublepage
    1.13 +\vspace*{\fill}
    1.14 +\begin{flushright}
    1.15 +\begin{tabular}{l}
    1.16 +{\large\sf\slshape You know my methods. Apply them!}\\[1ex]
    1.17 +Sherlock Holmes
    1.18 +\end{tabular}
    1.19 +\end{flushright}
    1.20 +\vspace*{\fill}
    1.21 +\vspace*{\fill}
    1.22 +
    1.23  \input{appendix}
    1.24  
    1.25  \bibliographystyle{plain}