../ README 30-Jan-1991 23:00 1824 deproc-doc.tex 20-Dec-1989 23:00 36K deproc.readme 30-Jan-1991 23:00 1824 deproc.sty 20-Dec-1989 23:00 7124