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