Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
0.doc 09-Jun-1995 19:09 1.5K
![[TXT]](/icons/text.gif){kind=icon}
0.html 09-Jun-1995 19:09 2.6K
0.iso 09-Jun-1995 19:09 20
0.lst 09-Jun-1995 19:09 91
announce.txt 09-Jun-1995 19:09 3.3K
mma_1_5.ltv 09-Jun-1995 19:09 1.7K
![[ ]](/icons/compressed.gif){kind=icon}
mma_1_5.tgz 09-Jun-1995 19:09 93K
papers.ltv 09-Jun-1995 19:09 233
papers.tgz 09-Jun-1995 19:09 161K
readme.txt 09-Jun-1995 19:09 3.3K