Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/compressed.gif){kind=icon}
defn-0.99.dvi.gz 07-May-1997 10:28 160K
defn-0.99.ps.gz 07-May-1997 10:28 232K