rwxr-xr-x 31027/102 0 Nov 10 18:08 1993 FOCL-1-2-3/ rwxr-xr-x 31027/102 0 Nov 10 18:08 1993 FOCL-1-2-3/source/ rwxr-xr-x 31027/102 0 Nov 10 13:07 1993 FOCL-1-2-3/source/auxiliary/ rw-r--r-- 31027/102 2618 Nov 10 13:04 1993 FOCL-1-2-3/source/auxiliary/dt-mutator.lisp rw-r--r-- 31027/102 10635 Nov 10 13:04 1993 FOCL-1-2-3/source/auxiliary/learning-curve.lisp rw-r--r-- 31027/102 36154 Nov 10 13:04 1993 FOCL-1-2-3/source/auxiliary/noisy-testing.lisp rw-r--r-- 31027/102 18551 Nov 10 13:04 1993 FOCL-1-2-3/source/auxiliary/recog-cliches.lisp rw-r--r-- 31027/102 1004 Nov 10 13:04 1993 FOCL-1-2-3/source/auxiliary/recog-pred-restr.lisp rw-r--r-- 31027/102 22005 Nov 10 13:04 1993 FOCL-1-2-3/source/auxiliary/rep.lisp rw-r--r-- 31027/102 13633 Nov 10 13:04 1993 FOCL-1-2-3/source/auxiliary/test-focl.lisp rw-r--r-- 31027/102 25194 Nov 10 13:04 1993 FOCL-1-2-3/source/auxiliary/testing-illegal.lisp rwxr-xr-x 31027/102 0 Nov 10 13:48 1993 FOCL-1-2-3/source/core/ rw-r--r-- 31027/102 46929 Nov 10 13:48 1993 FOCL-1-2-3/source/core/TAGS rw-r--r-- 31027/102 30593 Nov 10 13:04 1993 FOCL-1-2-3/source/core/builtin.lisp rw-r--r-- 31027/102 2407 Nov 10 13:04 1993 FOCL-1-2-3/source/core/cliche-macros.lisp rw-r--r-- 31027/102 19864 Nov 10 13:04 1993 FOCL-1-2-3/source/core/cliche-restrictions.lisp rw-r--r-- 31027/102 2584 Nov 10 13:04 1993 FOCL-1-2-3/source/core/cliches-predefined.lisp rw-r--r-- 31027/102 29902 Nov 10 13:04 1993 FOCL-1-2-3/source/core/cliches.lisp rw-r--r-- 31027/102 39150 Nov 10 13:04 1993 FOCL-1-2-3/source/core/count.lisp rw-r--r-- 31027/102 69859 Nov 10 13:04 1993 FOCL-1-2-3/source/core/cruel-compiler.lisp rw-r--r-- 31027/102 21996 Nov 10 13:04 1993 FOCL-1-2-3/source/core/determinates.lisp rw-r--r-- 31027/102 16685 Nov 10 13:04 1993 FOCL-1-2-3/source/core/dump.lisp rw-r--r-- 31027/102 54546 Nov 10 13:05 1993 FOCL-1-2-3/source/core/fast-op.lisp rw-r--r-- 31027/102 22623 Nov 10 13:05 1993 FOCL-1-2-3/source/core/find-literal.lisp rw-r--r-- 31027/102 25669 Nov 10 13:05 1993 FOCL-1-2-3/source/core/focl.lisp rw-r--r-- 31027/102 52617 Nov 10 13:05 1993 FOCL-1-2-3/source/core/frontier-op.lisp rw-r--r-- 31027/102 23324 Nov 10 13:05 1993 FOCL-1-2-3/source/core/frontier-operators.lisp rw-r--r-- 31027/102 12515 Nov 10 13:39 1993 FOCL-1-2-3/source/core/globals.lisp rw-r--r-- 31027/102 38096 Nov 10 13:05 1993 FOCL-1-2-3/source/core/leaf-op.lisp rw-r--r-- 31027/102 16066 Nov 10 13:05 1993 FOCL-1-2-3/source/core/loop.lisp rw-r--r-- 31027/102 33730 Nov 10 13:05 1993 FOCL-1-2-3/source/core/macros.lisp rw-r--r-- 31027/102 3466 Nov 10 13:05 1993 FOCL-1-2-3/source/core/pruning.lisp rw-r--r-- 31027/102 25934 Nov 10 13:05 1993 FOCL-1-2-3/source/core/simplify.lisp rw-r--r-- 31027/102 36950 Nov 10 13:05 1993 FOCL-1-2-3/source/core/stopping.lisp rw-r--r-- 31027/102 16401 Nov 10 13:05 1993 FOCL-1-2-3/source/core/structs.lisp rw-r--r-- 31027/102 15061 Nov 10 13:05 1993 FOCL-1-2-3/source/core/template-induction.lisp rw-r--r-- 31027/102 42723 Nov 10 13:05 1993 FOCL-1-2-3/source/core/theory-graph.lisp rw-r--r-- 31027/102 97491 Nov 10 13:05 1993 FOCL-1-2-3/source/core/utilities.lisp rw-r--r-- 31027/102 8454 Nov 10 13:05 1993 FOCL-1-2-3/source/core/variabilizations.lisp rw-r--r-- 31027/102 3881 Nov 10 13:05 1993 FOCL-1-2-3/source/core/work.lisp rwxr-xr-x 31027/102 0 Nov 10 13:40 1993 FOCL-1-2-3/source/interface/ rw-r--r-- 31027/102 12310 Nov 10 13:40 1993 FOCL-1-2-3/source/interface/analyze-coverage.lisp rw-r--r-- 31027/102 15056 Nov 10 13:05 1993 FOCL-1-2-3/source/interface/animate-learning.lisp rw-r--r-- 31027/102 65200 Nov 10 13:05 1993 FOCL-1-2-3/source/interface/dialogs.lisp rw-r--r-- 31027/102 77799 Nov 10 13:05 1993 FOCL-1-2-3/source/interface/editor.lisp rw-r--r-- 31027/102 103341 Nov 10 13:05 1993 FOCL-1-2-3/source/interface/ES.lisp rw-r--r-- 31027/102 62217 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/examples-window.lisp rw-r--r-- 31027/102 8063 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/font-menus.lisp rw-r--r-- 31027/102 13693 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/gain-window.lisp rw-r--r-- 31027/102 84075 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/grapher.lisp rw-r--r-- 31027/102 3917 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/hardcopy.lisp rw-r--r-- 31027/102 42317 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/KR.lisp rw-r--r-- 31027/102 8140 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/learned-description-window.lisp rw-r--r-- 31027/102 4833 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/learning-window.lisp rw-r--r-- 31027/102 39173 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/menus.lisp rw-r--r-- 31027/102 12449 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/modal-type-in-window.lisp rw-r--r-- 31027/102 1494 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/pict-scrap.lisp rw-r--r-- 31027/102 9480 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/scrollers.lisp rw-r--r-- 31027/102 4221 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/scrolling-fred-dialog-item.lisp rw-r--r-- 31027/102 40808 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/selectors.lisp rw-r--r-- 31027/102 12006 Nov 10 13:06 1993 FOCL-1-2-3/source/interface/symbol-completion.lisp rwxr-xr-x 31027/102 0 Nov 10 13:07 1993 FOCL-1-2-3/source/misc/ rw-r--r-- 31027/102 2827 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/mean-file.lisp rw-r--r-- 31027/102 25417 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/repository-to-focl-translator rw-r--r-- 31027/102 559 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/run-cliche-recog.lisp rw-r--r-- 31027/102 124 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/run-new-focl rw-r--r-- 31027/102 631 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/run-new-focl.lisp rw-r--r-- 31027/102 598 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/run-test-focl.lisp rw-r--r-- 31027/102 551 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/runfocl.lisp rw-r--r-- 31027/102 1600 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/summarize.lisp rw-r--r-- 31027/102 712 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/test-cliches.lisp rw-r--r-- 31027/102 75 Nov 10 13:06 1993 FOCL-1-2-3/source/misc/test-tr.lisp rwxr-xr-x 31027/102 0 Nov 10 18:08 1993 FOCL-1-2-3/compiled/ rwxr-xr-x 31027/102 0 Nov 10 17:53 1993 FOCL-1-2-3/compiled/compiled-interface/ rwxr-xr-x 31027/102 0 Nov 10 17:53 1993 FOCL-1-2-3/compiled/compiled-auxiliary/ rwxr-xr-x 31027/102 0 Nov 10 17:53 1993 FOCL-1-2-3/compiled/compiled-misc/ rwxr-xr-x 31027/102 0 Nov 10 17:55 1993 FOCL-1-2-3/compiled/compiled-core/ rwxr-xr-x 31027/102 0 Nov 10 18:08 1993 FOCL-1-2-3/sample-domains/ rw-r--r-- 31027/102 22365 Nov 10 16:48 1993 FOCL-1-2-3/sample-domains/chess-krk.lisp rw-r--r-- 31027/102 4426 Nov 10 16:48 1993 FOCL-1-2-3/sample-domains/cup.lisp rw-r--r-- 31027/102 1012 Nov 10 16:48 1993 FOCL-1-2-3/sample-domains/member.lisp rw-r--r-- 31027/102 4925 Nov 10 16:48 1993 FOCL-1-2-3/sample-domains/poker-pair.lisp rw-r--r-- 31027/102 114169 Nov 10 16:48 1993 FOCL-1-2-3/sample-domains/satellite.lisp rw-r--r-- 31027/102 14140 Nov 10 16:48 1993 FOCL-1-2-3/sample-domains/student-loan.lisp rw-r--r-- 31027/102 2725 Nov 10 16:48 1993 FOCL-1-2-3/sample-domains/xmas.lisp rwxr-xr-x 31027/102 26139 Nov 10 13:04 1993 FOCL-1-2-3/load.lisp