Name Last modified Size Description Parent Directory - deprocdev.fil 1985-12-05 13:14 4.1K deprocdev.tex 1985-12-05 13:14 2.0K aaareadme.txt 1985-12-05 15:03 1.7K deproc.tex 1985-12-05 15:28 31K deprocdoc.tex 1985-12-05 15:32 34K