| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| mf.web | 898K | 05-Feb-2021 06:52 |
| mfbook.tex | 922K | 25-Jan-2021 18:04 |
| trap.72270gf | 1028 | 26-Jan-2021 10:22 |
| trap.fot | 1711 | 26-Jan-2021 10:22 |
| trap.log | 119K | 26-Jan-2021 10:22 |
| trap.mf | 12K | 09-Aug-1998 03:20 |
| trap.pl | 10K | 17-Mar-2008 08:42 |
| trap.typ | 4552 | 26-Jan-2021 10:22 |
| trapin.fot | 2303 | 26-Jan-2021 10:22 |
| trapin.log | 4593 | 26-Jan-2021 10:22 |
| trapman.tex | 18K | 21-Sep-1993 22:41 |