rwxr-xr-x 4273/0      0 Dec 29 23:24 1993 doc/
rw-r--r-- 4273/0 181374 May 12 17:48 1992 doc/CMU-CS-91-143.doc
rw-r--r-- 4273/0 345345 Aug  5 16:59 1991 doc/CMU-CS-91-143.ps