../ mf.web 05-Feb-2021 12:22 898K mfbook.tex 25-Jan-2021 23:34 922K trap.72270gf 26-Jan-2021 15:52 1028 trap.fot 26-Jan-2021 15:52 1711 trap.log 26-Jan-2021 15:52 119K trap.mf 09-Aug-1998 08:50 12K trap.pl 17-Mar-2008 14:12 10K trap.typ 26-Jan-2021 15:52 4552 trapin.fot 26-Jan-2021 15:52 2303 trapin.log 26-Jan-2021 15:52 4593 trapman.tex 22-Sep-1993 04:11 18K