Lectures
Slides and Isabelle files will be made available online as the lecture progresses.- ProofGeneral/XEmacs reference card [pdf]
- Isabelle Cheat Sheet by Jeremy Avigad [pdf]
- Week 1, Wed: slides [pdf], demo [thy]
- Week 1, Fri: slides [pdf], demo [thy], pairs in the lambda calculus [pdf]
- Week 2, Wed: slides [pdf], lists in the lambda calculus [pdf]
- Week 2, Fri: slides [pdf], demo [thy]
- Week 3, Wed: slides [pdf], demo [thy]
- Week 3, Fri: finishing slides and demo from Wed
- Week 4, Wed: slides [pdf], demo [thy]
- Week 4, Fri: slides [pdf], demo [thy]
- Week 5, Wed: see Fri. wk4 slides
- Week 5, Fri: slides [pdf], demo [thy]
- Week 6, Wed: slides [pdf], demo [thy]
- Week 6, Fri: slides [pdf], demo [thy]
- Week 7, Wed: slides [pdf], demo [thy]
- Week 7, Fri: slides [pdf], exercise [thy], demo [thy]
- Week 8, Wed: assignment 2 solutions
- Week 8, Fri: slides [pdf], demo [thy]
- Week 9, Wed: slides [pdf], demo [thy]
- Week 9, Fri: regular expressions [thy]
- Week 10, Wed: slides [pdf], demo [thy]
- Week 10, Fri: slides [pdf], demo [thy]
- Week 11, Wed: slides [pdf], demo [thy]
- Week 11, Fri: slides [pdf], demo [thy]
- Week 12, Wed: end of slides from last Fri, demo [thy] (you will also need Pointers.thy and Hoare.thy)
- Week 12, Fri: exam 2008 [pdf], theory file empty [thy], HoareAbort file [thy], official solution [thy]