rwxr-xr-x 4273/0 0 Mar 25 07:17 1994 epsilon/ rw-r--r-- 4273/0 21287 Aug 5 01:03 1993 epsilon/LISP.E