rwxr-xr-x 4273/0      0 Dec 24 12:52 1993 FOIL6/
rw------- 4273/0   4959 Dec 24 12:51 1993 FOIL6/=README=
rw------- 4273/0   8749 Dec 24 12:51 1993 FOIL6/MANUAL
rw------- 4273/0    986 Dec 24 12:51 1993 FOIL6/Makefile
rw------- 4273/0  22560 Dec 24 12:51 1993 FOIL6/c4tofoil.c
rw------- 4273/0   7903 Dec 24 12:51 1993 FOIL6/constants.c
rw------- 4273/0  12522 Dec 24 12:51 1993 FOIL6/defns.i
rw------- 4273/0   5072 Dec 24 12:51 1993 FOIL6/determinate.c
rw------- 4273/0  25886 Dec 24 12:51 1993 FOIL6/evaluatelit.c
rw------- 4273/0   1315 Dec 24 12:51 1993 FOIL6/extern.i
rw------- 4273/0   9881 Dec 24 12:51 1993 FOIL6/finddef.c
rw------- 4273/0   3222 Dec 24 12:51 1993 FOIL6/global.c
rw------- 4273/0  19249 Dec 24 12:51 1993 FOIL6/input.c
rw------- 4273/0   3715 Dec 24 12:51 1993 FOIL6/interpret.c
rw------- 4273/0   2831 Dec 24 12:51 1993 FOIL6/join.c
rw------- 4273/0   6155 Dec 24 12:51 1993 FOIL6/literal.c
rw------- 4273/0   6731 Dec 24 12:51 1993 FOIL6/main.c
rw------- 4273/0   7224 Dec 24 12:51 1993 FOIL6/order.c
rw------- 4273/0   5213 Dec 24 12:51 1993 FOIL6/output.c
rw------- 4273/0  10819 Dec 24 12:51 1993 FOIL6/prune.c
rw------- 4273/0   4565 Dec 24 12:51 1993 FOIL6/search.c
rw------- 4273/0  11011 Dec 24 12:51 1993 FOIL6/state.c
rw------- 4273/0   1116 Dec 24 12:51 1993 FOIL6/utility.c
rw------- 4273/0    550 Dec 24 12:51 1993 FOIL6/ackermann.d
rw------- 4273/0  37687 Dec 24 12:51 1993 FOIL6/crx.d
rwx------ 4273/0   2332 Dec 24 12:51 1993 FOIL6/hinton.d
rwx------ 4273/0 162330 Dec 24 12:52 1993 FOIL6/krk.d
rw------- 4273/0   1161 Dec 24 12:52 1993 FOIL6/member.d
rwx------ 4273/0   2383 Dec 24 12:52 1993 FOIL6/ncm.d
rw------- 4273/0   8064 Dec 24 12:52 1993 FOIL6/qs44.d
rw------- 4273/0   2331 Dec 24 12:52 1993 FOIL6/sort.d
rw------- 4273/0  13377 Dec 24 12:52 1993 FOIL6/member.explain
rw------- 4273/0  22854 Dec 24 12:52 1993 FOIL6/crx.data
rw------- 4273/0   1497 Dec 24 12:52 1993 FOIL6/crx.names
rw------- 4273/0   9364 Dec 24 12:52 1993 FOIL6/crx.test