rwxr-xr-x 4273/0      0 Dec 29 23:45 1993 defsystem/
rw-r--r-- 4273/0 116401 Feb 26 12:06 1993 defsystem/defsystem.lisp
rw-r--r-- 4273/0   6297 Oct 28 21:53 1993 defsystem/search-systems.lisp