../ boxes.mp 20-Feb-1996 05:30 6847 examples.mp 22-Jun-1995 05:30 6057 format.mp 22-Jun-1995 05:30 6912 graph.mp 23-Oct-1996 05:30 26K marith.mp 22-Jun-1995 05:30 4120 mfplain.mp 22-Jun-1995 05:30 19K mproof.tex 22-Jun-1995 05:30 532 plain.mp 22-Jun-1995 05:30 15K rboxes.mp 22-Jun-1995 05:30 1060 sarith.mp 22-Jun-1995 05:30 1419 string.mp 22-Jun-1995 05:30 763 tex.mp 22-Jun-1995 05:30 322 texnum.mp 22-Jun-1995 05:30 407