| drwxr-xr-x | [up] | |||
| drwxr-xr-x | Cookbook | files | ||
| drwxr-xr-x | Cut | files | ||
| drwxr-xr-x | Nominal | files | ||
| drwxr-xr-x | PhD | files | ||
| drwxr-xr-x | Prover | files | ||
| drwxr-xr-x | Publications | files | ||
| drwxr-xr-x | Slides | files | ||
| drwxr-xr-x | Unification | files | ||
| drwxr-xr-x | cgi-bin | files | ||
| drwxr-xr-x | lex | files | ||
| drwxr-xr-x | test | files | ||
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 17987 | bsc-projects-12.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 32676 | bsc-projects-13.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 36362 | bsc-projects-14.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 36059 | bsc-projects-15.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 37557 | bsc-projects-16.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 33779 | bsc-projects-17.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 37927 | bsc-projects-18.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 39083 | bsc-projects.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 3017545 | c.jpg | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 27348 | compiler.scala | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 827241 | family.jpg | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 1448410 | h1.mp4 | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 981750 | h3.mp4 | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 20490 | index.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 7440 | logic.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 2472 | mc.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 3996 | misc.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 24676 | msc-projects-12.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 32551 | msc-projects-13.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 35767 | msc-projects-14.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 36506 | msc-projects-15.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 37635 | msc-projects-16.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 33882 | msc-projects-17.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 37998 | msc-projects-18.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 837 | new.gif | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 5473 | nominal-logo.gif | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 469 | nominal.css | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 337964 | nomination2021.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 553626 | nomination2022.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 34796 | picture-small.jpg | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 7435 | picture.jpg | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 2075 | pip.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 3706 | programming.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 25671 | publications.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 1102 | results.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 202467 | rpi-airmouse.jpg | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 117709 | rpi-photo.jpg | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 39588 | rpi-watch.jpg | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 1796446 | s1.jpg | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 1866128 | s2.jpg | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 2349 | striper.js | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 19919 | teaching.html | file | revisions | annotate |
| -rw-r--r-- | 2023-03-20 11:53 +0000 | 17947 | travelling.html | file | revisions | annotate |
