| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 61909 | CK_Machine.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 2022 | Lambda.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 383 | Minimal.thy | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 8152 | a0size.sty | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 64160 | announcement.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 1195476 | announcement.ps | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 5053 | announcement.tex | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 3636 | australia.gif | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 4446 | australia.png | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 824066 | australia.ps | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 6255 | index.html | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 205318 | logo.eps | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 1135190 | slides.pdf | file | revisions | annotate |
| -rw-r--r-- | 2017-11-16 00:53 +0000 | 6919 | wallpaper.sty | file | revisions | annotate |
