rwxr-xr-x 4273/0 0 Jul 11 15:21 1994 LISPSYMBCOMP/ rw-r--r-- 4273/0 343 Aug 18 23:46 1993 LISPSYMBCOMP/note rw-r--r-- 4273/0 921 Aug 18 23:46 1993 LISPSYMBCOMP/v4.2.lbib rw-r--r-- 4273/0 508 Aug 18 23:46 1993 LISPSYMBCOMP/v4.2.doc rw-r--r-- 4273/0 187 Jul 11 15:21 1994 LISPSYMBCOMP/README