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