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