![[ICO]](/icons2/blank.png)
![[PARENTDIR]](/icons2/go-previous.png)
![[TXT]](/icons2/help-contents.png)
![[DOC]](/icons2/x-office-document.png)
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| README | 1993-04-24 00:00 | 33 |
| holmes00.tex | 1993-04-24 00:00 | 6.8K |
| holmes01.tex | 1993-04-24 00:00 | 6.6K |
| holmes02.tex | 1993-04-24 00:00 | 9.9K |
| holmes03.tex | 1993-04-24 00:00 | 8.9K |
| holmes04.tex | 1993-04-24 00:00 | 32K |
| holmes05.tex | 1993-04-24 00:00 | 5.4K |
| holmes06.tex | 1993-04-24 00:00 | 59K |
| holmes12.tex | 1993-04-24 00:00 | 65K |
| holmesxx.tex | 1993-04-24 00:00 | 40K |