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