../ mf.web 05-Feb-2021 13:52 919408 mfbook.tex 26-Jan-2021 01:04 944165 trap.72270gf 26-Jan-2021 17:22 1028 trap.fot 26-Jan-2021 17:22 1711 trap.log 26-Jan-2021 17:22 121710 trap.mf 09-Aug-1998 10:20 11899 trap.pl 17-Mar-2008 15:42 10388 trap.typ 26-Jan-2021 17:22 4552 trapin.fot 26-Jan-2021 17:22 2303 trapin.log 26-Jan-2021 17:22 4593 trapman.tex 22-Sep-1993 05:41 18248