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