| drwxr-xr-x | [up] | |||
| drwxr-xr-x | cas09 | files | ||
| drwxr-xr-x | idp | files | ||
| drwxr-xr-x | idw10 | files | ||
| drwxr-xr-x | jar09 | files | ||
| drwxr-xr-x | nominal-ijcar08 | files | ||
| drwxr-xr-x | nominal-popl11 | files | ||
| drwxr-xr-x | tphols09 | files | ||
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 61909 | CK_Machine.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 2022 | Lambda.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 383 | Minimal.thy | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 8152 | a0size.sty | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 102340 | announcement.pdf | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 1195476 | announcement.ps | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 2948 | announcement.tex | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 3636 | australia.gif | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 4446 | australia.png | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 824066 | australia.ps | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 5651 | index.html | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 205318 | logo.eps | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 10439 | logo.png | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 1513 | oregon.html | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 37483 | popl1.png | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 1135190 | slides.pdf | file | revisions | annotate |
| -rw-r--r-- | 2021-08-13 22:17 +0200 | 6919 | wallpaper.sty | file | revisions | annotate |
