rwxr-xr-x 4273/0      0 Jul  8 03:15 1994 lisp/
rw-r--r-- 4273/0 171485 Jul  8 03:15 1994 lisp/cl-processes.ps
rw-r--r-- 4273/0  68879 Jul  8 03:15 1994 lisp/pdefsys.lisp
rw-r--r-- 4273/0  86667 Jul  8 03:15 1994 lisp/pdefsys.ps
rw-r--r-- 4273/0  26354 Jul  8 03:15 1994 lisp/cl-processes.lisp