../ mf.web 25-May-2024 22:37 919408 mfbook.tex 25-May-2024 22:37 944165 trap.72270gf 25-May-2024 22:37 1028 trap.fot 25-May-2024 22:37 1711 trap.log 25-May-2024 22:37 121710 trap.mf 09-Aug-1998 03:20 11899 trap.pl 17-Mar-2008 08:42 10388 trap.typ 25-May-2024 22:37 4552 trapin.fot 25-May-2024 22:37 2303 trapin.log 25-May-2024 22:37 4593 trapman.tex 21-Sep-1993 22:41 18248