Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 20-Nov-2000 20:26 -
![[ ]](/icons/compressed.gif){kind=icon}
final.ps.gz 19-Nov-2000 16:03 136k
![[ ]](/icons/layout.gif){kind=icon}
final.pdf 19-Nov-2000 16:03 70k