Name Last modified Size Description
Parent Directory - .listing 2002-05-06 12:02 416 deprocdev.tex 1985-12-05 13:14 2.0K aaareadme.txt 1987-01-21 12:10 2.3K deprocdev.fil 1985-12-05 13:14 4.1K deproc.tex 1986-08-07 12:47 31K deprocdoc.tex 1985-12-05 15:32 34K