equal
deleted
inserted
replaced
79 \input{fp} |
79 \input{fp} |
80 \input{Rules/rules} |
80 \input{Rules/rules} |
81 \input{Sets/sets}\input{CTL/ctl} %these constitute ONE chapter |
81 \input{Sets/sets}\input{CTL/ctl} %these constitute ONE chapter |
82 \input{Inductive/inductive} |
82 \input{Inductive/inductive} |
83 \input{Advanced/advanced} |
83 \input{Advanced/advanced} |
84 \chapter{More about Types} |
84 \input{Types/types} |
85 \chapter{Theory Presentation} |
85 \chapter{Theory Presentation} |
86 \chapter{Case Study: The Needhamd-Schroeder Protocol} |
86 \chapter{Case Study: The Needhamd-Schroeder Protocol} |
87 \chapter{Structured Proofs} |
87 \chapter{Structured Proofs} |
88 \chapter{Case Study: UNIX File-System Security} |
88 \chapter{Case Study: UNIX File-System Security} |
89 %\chapter{The Tricks of the Trade} |
89 %\chapter{The Tricks of the Trade} |