Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 02-Dec-2002 04:27 -
![[ ]](/icons/a.gif){kind=icon}
12mag.eps 18-Jul-1994 00:00 17k
12mag_3d.eps 18-Jul-1994 00:00 31k
6mag.eps 18-Jul-1994 00:00 17k
![[ ]](/icons/unknown.gif){kind=icon}
arrparm.1 21-Jun-1995 00:00 2k
arrsamp.eps 21-Jun-1995 00:00 2k
![[ ]](/icons/dvi.gif){kind=icon}
mma2ltx.dvi 21-Jun-1995 00:00 36k
mma2ltx.ps 21-Jun-1995 00:00 215k
mma2ltx6.ps 21-Jun-1995 00:00 285k
optc.eps 18-Jul-1994 00:00 17k