-rw-r--r-- 948 Example.thy
-rw-r--r-- 22846 Lec1.thy
-rw-r--r-- 20548 Lec2.thy
-rw-r--r-- 14511 Lec3.thy
-rw-r--r-- 3415 index.html
-rwxr-xr-x 540720 slides1.pdf
-rwxr-xr-x 203635 slides2.pdf
-rwxr-xr-x 102907 slides3.pdf