![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| tammet5.txt | 1999-09-18 13:51 | 552 | |
| tammet4.txt | 1999-10-22 22:28 | 51K | |
| tammet3.txt | 1999-10-22 22:28 | 19K | |
| tammet2.txt | 1999-10-22 22:28 | 46K | |
| tammet1.txt | 1999-09-18 13:51 | 46K | |
| tammet.thy | 1999-10-25 12:20 | 31K | |
| howe3.txt | 1999-09-21 14:20 | 2.2K | |
| howe2.txt | 1999-09-21 14:20 | 5.9K | |
| howe1.txt | 1999-09-21 14:18 | 893 | |
| dyckhoff.sml | 1999-10-27 04:33 | 6.1K | |
| dyckhoff.pl | 1999-09-21 14:26 | 5.9K | |