/
drwxr-xr-x [up]
drwxr-xr-x Cookbook
drwxr-xr-x Cut
drwxr-xr-x PhD
drwxr-xr-x Prover
drwxr-xr-x Publications
drwxr-xr-x Slides
drwxr-xr-x Unification
drwxr-xr-x cgi-bin
drwxr-xr-x test
-rw-r--r-- 2014-10-20 00:42 +0100 17988 bsc-projects-12.html
-rw-r--r-- 2014-10-20 00:42 +0100 32681 bsc-projects-13.html
-rw-r--r-- 2014-10-20 00:42 +0100 36370 bsc-projects-14.html
-rw-r--r-- 2014-10-20 00:42 +0100 16310 index.html
-rw-r--r-- 2014-10-20 00:42 +0100 7410 logic.html
-rw-r--r-- 2014-10-20 00:42 +0100 2473 mc.html
-rw-r--r-- 2014-10-20 00:42 +0100 3984 misc.html
-rw-r--r-- 2014-10-20 00:42 +0100 24678 msc-projects-12.html
-rw-r--r-- 2014-10-20 00:42 +0100 32557 msc-projects-13.html
-rw-r--r-- 2014-10-20 00:42 +0100 837 new.gif
-rw-r--r-- 2014-10-20 00:42 +0100 5473 nominal-logo.gif
-rw-r--r-- 2014-10-20 00:42 +0100 469 nominal.css
-rw-r--r-- 2014-10-20 00:42 +0100 34796 picture-small.jpg
-rw-r--r-- 2014-10-20 00:42 +0100 7435 picture.jpg
-rw-r--r-- 2014-10-20 00:42 +0100 2074 pip.html
-rw-r--r-- 2014-10-20 00:42 +0100 624 poll.html
-rw-r--r-- 2014-10-20 00:42 +0100 624 poll1.html
-rw-r--r-- 2014-10-20 00:42 +0100 623 poll2.html
-rw-r--r-- 2014-10-20 00:42 +0100 624 poll3.html
-rw-r--r-- 2014-10-20 00:42 +0100 3699 programming.html
-rw-r--r-- 2014-10-20 00:42 +0100 16518 projects.html
-rw-r--r-- 2014-10-20 00:42 +0100 23880 publications.html
-rw-r--r-- 2014-10-20 00:42 +0100 1103 results.html
-rw-r--r-- 2014-10-20 00:42 +0100 117709 rpi-photo.jpg
-rw-r--r-- 2014-10-20 00:42 +0100 39588 rpi-watch.jpg
-rw-r--r-- 2014-10-20 00:42 +0100 2349 striper.js
-rw-r--r-- 2014-10-20 00:42 +0100 17908 teaching.html
-rw-r--r-- 2014-10-20 00:42 +0100 17070 travelling.html