Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
boxes.mp 1996-02-20 09:00 6.7K
examples.mp 1995-06-22 09:00 5.9K
format.mp 1995-06-22 09:00 6.8K
graph.mp 1996-10-23 09:00 26K
marith.mp 1995-06-22 09:00 4.0K
mfplain.mp 1995-06-22 09:00 19K
![[ ]](/icons/tex.gif){kind=icon}
mproof.tex 1995-06-22 09:00 532
plain.mp 1995-06-22 09:00 15K
rboxes.mp 1995-06-22 09:00 1.0K
sarith.mp 1995-06-22 09:00 1.4K
string.mp 1995-06-22 09:00 763
tex.mp 1995-06-22 09:00 322
texnum.mp 1995-06-22 09:00 407