rwxr-xr-x 4273/0 0 Feb 9 00:20 1994 fcp/ rw-r--r-- 4273/0 655 Dec 20 07:20 1989 fcp/LETTER rw-r--r-- 4273/0 2589 Dec 20 07:20 1989 fcp/INTRO rw-r--r-- 4273/0 751 Dec 20 07:20 1989 fcp/lfcpc rw-r--r-- 4273/0 4684 Dec 20 07:20 1989 fcp/compile.pl rw-r--r-- 4273/0 1910 Dec 20 07:20 1989 fcp/kernel.pl rw-r--r-- 4273/0 4367 Dec 20 07:20 1989 fcp/runtime.pl rw-r--r-- 4273/0 7518 Dec 20 07:20 1989 fcp/toplevel.pl rw-r--r-- 4273/0 3828 Dec 20 07:20 1989 fcp/trace.pl rw-r--r-- 4273/0 2092 Dec 20 07:20 1989 fcp/unify.pl rw-r--r-- 4273/0 2577 Dec 20 07:20 1989 fcp/util.pl