| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| trap.fot | 1704 | 1993-Aug-09 11:00 |
| trap.log | 14123 | 1993-Aug-09 11:00 |
| trap.mf | 11842 | 1993-Aug-09 11:00 |
| trap.pl | 10388 | 1993-Aug-09 11:00 |
| trap.typ | 4550 | 1993-Aug-09 11:00 |
| trap1.base | 34060 | 1993-Aug-09 11:00 |
| trap1.in | 14 | 1993-Aug-09 11:00 |
| trap1.log | 4946 | 1993-Aug-09 11:00 |
| trap2.in | 14 | 1993-Aug-09 11:00 |
| trap2.log | 299 | 1993-Aug-09 11:00 |
| trapin.log | 4584 | 1993-Aug-09 11:00 |
| trapman.tex | 18248 | 1993-Aug-09 11:00 |