Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
0__ 08-May-1997 17:37 1
1__The_SOURCE_consists_of_the_.tex_file_and_all_of_the_.eps_files. 08-May-1997 17:37 1
2__ 08-May-1997 17:37 1
![[ ]](/icons/a.gif){kind=icon}
fig1.eps 08-May-1997 17:06 4.1K
fig2.eps 08-May-1997 17:06 3.7K
fig3.eps 08-May-1997 17:06 6.2K
fig4.eps 08-May-1997 17:06 4.5K
![[ ]](/icons/tex.gif){kind=icon}
witten10.tex 08-May-1997 21:39 38K