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