../ mf.web 05-Feb-2021 06:52 919408 mfbook.tex 25-Jan-2021 18:04 944165 trap.72270gf 26-Jan-2021 10:22 1028 trap.fot 26-Jan-2021 10:22 1711 trap.log 26-Jan-2021 10:22 121710 trap.mf 16-Jun-2013 14:38 11899 trap.pl 07-Sep-2008 10:58 10388 trap.typ 26-Jan-2021 10:22 4552 trapin.fot 26-Jan-2021 10:22 2303 trapin.log 26-Jan-2021 10:22 4593 trapman.tex 16-Jun-2013 14:38 18248