equal
deleted
inserted
replaced
65 |
65 |
66 \input{basics} |
66 \input{basics} |
67 \input{fp} |
67 \input{fp} |
68 \chapter{The Rules of the Game} |
68 \chapter{The Rules of the Game} |
69 \input{sets} |
69 \input{sets} |
70 \chapter{Inductively Defined Sets} |
70 \input{Inductive/inductive} |
71 \input{Advanced/advanced} |
71 \input{Advanced/advanced} |
72 \chapter{More about Types} |
72 \chapter{More about Types} |
73 \chapter{Theory Presentation} |
73 \chapter{Theory Presentation} |
74 \chapter{Case Study: The Needhamd-Schroeder Protocol} |
74 \chapter{Case Study: The Needhamd-Schroeder Protocol} |
75 \chapter{Structured Proofs} |
75 \chapter{Structured Proofs} |