Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/compressed.gif){kind=icon}
DA.ps.gz 09-Dec-1998 19:37 184K
![[ ]](/icons/dvi.gif){kind=icon}
cleaning.dvi 28-Oct-1998 16:04 7.6K
![[ ]](/icons/a.gif){kind=icon}
cleaning.ps 28-Oct-1998 16:04 51K
![[TXT]](/icons/text.gif){kind=icon}
cleaning.tex 28-Oct-1998 16:04 6.2K