../ mfbook.tex-1995 09-Mar-1995 04:43 917K mfbook.tex-1998 09-Aug-1998 14:23 918K mfbook.tex-2008 02-Mar-2008 13:30 918K mfman.tex-1987 31-Oct-1987 07:00 915K