equal
deleted
inserted
replaced
86 \input{Rules/rules} |
86 \input{Rules/rules} |
87 \input{Sets/sets}\input{CTL/ctl} %these constitute ONE chapter |
87 \input{Sets/sets}\input{CTL/ctl} %these constitute ONE chapter |
88 \input{Inductive/inductive} |
88 \input{Inductive/inductive} |
89 \input{Types/types} |
89 \input{Types/types} |
90 \input{Advanced/advanced} |
90 \input{Advanced/advanced} |
91 \chapter{Theory Presentation} |
91 %\chapter{Theory Presentation} |
92 \chapter{Case Study: Verifying a Cryptographic Protocol} |
92 %\chapter{Case Study: Verifying a Cryptographic Protocol} |
93 \chapter{Structured Proofs} |
93 %\chapter{Structured Proofs} |
94 \label{ch:Isar} |
94 %\label{ch:Isar} |
95 %\chapter{Case Study: UNIX File-System Security} |
95 %\chapter{Case Study: UNIX File-System Security} |
96 %\chapter{The Tricks of the Trade} |
96 %\chapter{The Tricks of the Trade} |
97 \input{appendix} |
97 \input{appendix} |
98 |
98 |
99 \bibliographystyle{plain} |
99 \bibliographystyle{plain} |