-rw-r--r-- 61909 CK_Machine.thy
-rw-r--r-- 2022 Lambda.thy
-rw-r--r-- 383 Minimal.thy
-rw-r--r-- 8152 a0size.sty
-rw-r--r-- 64160 announcement.pdf
-rw-r--r-- 1195476 announcement.ps
-rw-r--r-- 5053 announcement.tex
-rw-r--r-- 3636 australia.gif
-rw-r--r-- 4446 australia.png
-rw-r--r-- 824066 australia.ps
-rw-r--r-- 6255 index.html
-rw-r--r-- 205318 logo.eps
-rw-r--r-- 1135190 slides.pdf
-rw-r--r-- 6919 wallpaper.sty