Material
- Isabelle tutorial slides for Part I
 - Isabelle tutorial for Part I
 - Demo theories for Part I
 - Slides for Part II
 - Book for Part II
 - Recordings
 
Lectures
Part I, Introduction to Isabelle:
- 26.4. Read up to/incl 2.2.5 in the tutorial.
 - 3.5. Watch #02 from 2019, read up to/incl 2.5.3 in the tutorial.
 - 10.5. Read up to/incl 3.3 in the tutorial.
 - 17.5. Read up to/incl 4.1 in the tutorial, but without 3.5.
 - 24.5. Read up to the end of the tutorial.
 
Part II, Functional Data Structures
- 31.5. Read Chapters 1 and 2 from the book (up to but excl. 2.6)
 - 14.6. Read Chapters 4 - 6 from the book