(TXT) mf.web
 (TXT) mfbook.tex
 (BIN) trap.72270gf
 (TXT) trap.fot
 (TXT) trap.log
 (TXT) trap.mf
 (TXT) trap.pl
 (TXT) trap.typ
 (TXT) trapin.fot
 (TXT) trapin.log
 (TXT) trapman.tex