| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 341485 | asperti-turing.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 299802 | benton-x86.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 1231552 | document.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 217828 | norrish.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 200647 | paulson-ackerman.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 1974072 | register-in-hol-zammit.ps | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 2588406 | szasz-ackermann.pdf.gz | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 235443 | wang-tiles.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 749446 | wang1.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 1709827 | wang2.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 315807 | wang3.pdf | file | revisions | annotate |
| -rw-r--r-- | 2013-02-15 23:02 +0800 | 952306 | wang4.pdf | file | revisions | annotate |