| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 6148 | .DS_Store | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 112691 | Nominal2-2011-1.tgz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 157955 | Nominal2-2012.tgz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 149036 | Nominal2-2013-1.tgz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 149036 | Nominal2-2013-2.tgz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 116373 | Nominal2-2014.tgz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 140745 | Nominal2-2015.tgz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 288360 | Nominal2-2016-1.tgz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 149585 | Nominal2-2016.tgz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 2359550 | Phd-Urban.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 701023 | Phd-Urban.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 350988 | alpha-iclp.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 313389 | alpha-tlca.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 212563 | aprolog-colognet.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 229135 | aprolog.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 478866 | bitcoded-itp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 243704 | cade07.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 436517 | cade07.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 340044 | class-tcs.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 236028 | clc-06.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 192954 | cpp-11.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 298290 | esop-11.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 127606 | fi-00.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 281151 | fi-01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 127614 | fi-01.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 425837 | ijcar-06.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 269144 | itp-11.pdf | file | revisions | annotate |
| -rwxr-xr-x | 2023-05-16 21:42 +0100 | 175720 | itp-12.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 198169 | jlc-03.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 171541 | lf.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 262576 | lfmtp-06.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 121527 | lfmtp-07.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 341202 | lftechreport.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 171541 | lics-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 274907 | lmcs.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 181877 | ln.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 125253 | merlin-05.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 217559 | merlin-05.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 131843 | mike-poster-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 17297 | mike-poster-abstract-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 75526268 | mphil.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 12991215 | mphil.pdf.gz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 444244 | nom-cade-05.ps | file | revisions | annotate |
| -rwxr-xr-x | 2023-05-16 21:42 +0100 | 265106 | nom-tech.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 349315 | nom-tech.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 207475 | nominal-atoms.pdf | file | revisions | annotate |
| -rwxr-xr-x | 2023-05-16 21:42 +0100 | 242612 | nomu-tcs.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 319354 | nomu-tcs.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 323260 | nomu.ps | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 280185 | pip.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 449542 | posix-jar.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 99984 | posix.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 66252 | proposal-2007.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 167456 | rc.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 167994 | rexp.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 531254 | rta-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 202973 | sac-11.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 253501 | tableaux-01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 93340 | tableaux-01.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 530 | tableaux-98.bib | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 32318 | tableaux-98.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 417 | tlca-99.bib | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 271538 | tlca-99.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 104183 | tlca-99.ps.gz | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 92603 | tm.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 94762 | tphols-08.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 185920 | univ-10.pdf | file | revisions | annotate |
| -rwxr-xr-x | 2023-05-16 21:42 +0100 | 218902 | variable.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 109927 | w-07.pdf | file | revisions | annotate |
| -rw-r--r-- | 2023-05-16 21:42 +0100 | 196286 | westapp-01.pdf | file | revisions | annotate |