| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| doc.ps | 143.2 KiB | 1996-Jul-11 00:00 | |
| doc.tib | 6.9 KiB | 1996-Jul-11 00:00 | |
| mani.tib | 220 B | 1996-Jun-20 00:00 | |
| p31p33.tib | 2.6 KiB | 1996-Jun-20 00:00 | |
| p32p34.tib | 3.0 KiB | 1996-Jun-20 00:00 | |
| sample.tib | 2.3 KiB | 1993-May-19 00:00 | |