rwxr-xr-x 4273/488      0 Oct 16 00:58 1992 cover/
rw-r--r-- 4273/488  17116 Oct 16 00:54 1992 cover/cover-doc.txt
rw-r--r-- 4273/488  25346 Oct 16 00:54 1992 cover/cover-test.lisp
rw-r--r-- 4273/488  11230 Oct 16 00:54 1992 cover/cover.lisp