Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
0.doc 09-Jun-1995 19:22 1.5K
![[TXT]](/icons/text.gif){kind=icon}
0.html 09-Jun-1995 19:22 2.7K
0.lst 09-Jun-1995 19:22 61
mop_spec.ltv 09-Jun-1995 19:22 608
![[ ]](/icons/compressed.gif){kind=icon}
mop_spec.tgz 09-Jun-1995 19:22 281K
old_mop.ltv 09-Jun-1995 19:22 155
old_mop.tgz 09-Jun-1995 19:22 264K