rwxr-xr-x 4273/0 0 Oct 28 20:05 1993 unifier/ rw-r--r-- 4273/0 8153 Jul 27 17:24 1993 unifier/unifier.lisp rw-r--r-- 4273/0 7453 Jul 27 17:24 1993 unifier/unifier