| drwxr-xr-x | [up] | |||
| drwxr-xr-x | logics | files | ||
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 254292 | 1_gcsl.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 231107 | 1_slpopl05.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 411541 | 2_toplas09.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 290275 | 3_vstte2010.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 341485 | asperti-turing.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 299802 | benton-x86.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 1231552 | document.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 297079 | mechanizing_sa.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 217828 | norrish.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 200647 | paulson-ackerman.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 1974072 | register-in-hol-zammit.ps | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 2588406 | szasz-ackermann.pdf.gz | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 235443 | wang-tiles.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 749446 | wang1.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 1709827 | wang2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 315807 | wang3.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-07-23 23:58 +0200 | 952306 | wang4.pdf | file | revisions | annotate |