Name Last modified Size Parent Directory - deproc.readme 1991-01-31 08:00 1.8K deproc.sty 1989-12-21 08:00 7.0K deproc-doc.tex 1989-12-21 08:00 36K