equal
deleted
inserted
replaced
67 \part{Advanced Material} |
67 \part{Advanced Material} |
68 \input{Types/types} |
68 \input{Types/types} |
69 \input{Advanced/advanced} |
69 \input{Advanced/advanced} |
70 \input{Protocol/protocol} |
70 \input{Protocol/protocol} |
71 |
71 |
72 %\chapter{Structured Proofs} |
72 \markboth{}{} |
73 %\label{ch:Isar} |
73 \cleardoublepage |
74 %\chapter{Case Study: UNIX File-System Security} |
74 \vspace*{\fill} |
75 %\chapter{The Tricks of the Trade} |
75 \begin{flushright} |
|
76 \begin{tabular}{l} |
|
77 {\large\sf\slshape You know my methods. Apply them!}\\[1ex] |
|
78 Sherlock Holmes |
|
79 \end{tabular} |
|
80 \end{flushright} |
|
81 \vspace*{\fill} |
|
82 \vspace*{\fill} |
|
83 |
76 \input{appendix} |
84 \input{appendix} |
77 |
85 |
78 \bibliographystyle{plain} |
86 \bibliographystyle{plain} |
79 \bibliography{../manual} |
87 \bibliography{../manual} |
80 \printindex |
88 \printindex |