| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2014-10-07 00:15 +0100 | 158782 | ho01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2014-10-07 00:15 +0100 | 28090 | ho01.tex | file | revisions | annotate |
| -rw-r--r-- | 2014-10-07 00:15 +0100 | 180221 | ho02.pdf | file | revisions | annotate |
| -rw-r--r-- | 2014-10-07 00:15 +0100 | 20817 | ho02.tex | file | revisions | annotate |
| -rw-r--r-- | 2014-10-07 00:15 +0100 | 98607 | ho03.pdf | file | revisions | annotate |
| -rw-r--r-- | 2014-10-07 00:15 +0100 | 7565 | ho03.tex | file | revisions | annotate |
| -rw-r--r-- | 2014-10-07 00:15 +0100 | 62859 | inferences.pdf | file | revisions | annotate |
| -rw-r--r-- | 2014-10-07 00:15 +0100 | 2671 | inferences.tex | file | revisions | annotate |