Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 11-Sep-2002 20:50 -
![[DIR]](/icons/folder.gif){kind=icon}
html/ 25-Sep-2002 21:44 -
![[ ]](/icons/a.gif){kind=icon}
paper.ps 25-Sep-2002 21:32 754k
![[TXT]](/icons/text.gif){kind=icon}
paper.tex 25-Sep-2002 21:33 26k
temp/ 25-Sep-2002 21:44 -