| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2014-10-13 19:48 +0100 | 158749 | ho01.pdf | file | revisions | annotate |
| -rw-r--r-- | 2014-10-13 19:48 +0100 | 28110 | ho01.tex | file | revisions | annotate |
| -rw-r--r-- | 2014-10-13 19:48 +0100 | 180801 | ho02.pdf | file | revisions | annotate |
| -rw-r--r-- | 2014-10-13 19:48 +0100 | 21352 | ho02.tex | file | revisions | annotate |
| -rw-r--r-- | 2014-10-13 19:48 +0100 | 161286 | ho03.pdf | file | revisions | annotate |
| -rw-r--r-- | 2014-10-13 19:48 +0100 | 32058 | ho03.tex | file | revisions | annotate |
| -rw-r--r-- | 2014-10-13 19:48 +0100 | 62859 | inferences.pdf | file | revisions | annotate |
| -rw-r--r-- | 2014-10-13 19:48 +0100 | 2671 | inferences.tex | file | revisions | annotate |