rwxr-xr-x 4273/0 0 Jul 1 02:05 1994 cl-protos/ rw-r--r-- 4273/0 9724 Jul 1 02:02 1994 cl-protos/README rw-r--r-- 4273/0 2650 Jul 1 02:02 1994 cl-protos/cl-protos.tex rw-r--r-- 4273/0 50224 Jul 1 02:03 1994 cl-protos/classify.lisp rw-r--r-- 4273/0 2092 Jul 1 02:03 1994 cl-protos/coverpage.dvi rw-r--r-- 4273/0 2437 Jul 1 02:03 1994 cl-protos/coverpage.tex rw-r--r-- 4273/0 63561 Jul 1 02:03 1994 cl-protos/defs.lisp rw-r--r-- 4273/0 70607 Jul 1 02:03 1994 cl-protos/discuss.lisp rw-r--r-- 4273/0 61 Jul 1 02:03 1994 cl-protos/dump-to-tape rw-r--r-- 4273/0 18276 Jul 1 02:03 1994 cl-protos/example.lisp rw-r--r-- 4273/0 38354 Jul 1 02:03 1994 cl-protos/explanation.lisp rw-r--r-- 4273/0 35709 Jul 1 02:03 1994 cl-protos/explanation.sav rw-r--r-- 4273/0 31310 Jul 1 02:03 1994 cl-protos/first_base.lisp rw-r--r-- 4273/0 31263 Jul 1 02:03 1994 cl-protos/first_base_inv.lisp rw-r--r-- 4273/0 1178 Jul 1 02:03 1994 cl-protos/fulldoc.bib rw-r--r-- 4273/0 1225 Jul 1 02:03 1994 cl-protos/fulldoc.tex rw-r--r-- 4273/0 2128 Jul 1 02:03 1994 cl-protos/global.bit rw-r--r-- 4273/0 12638 Jul 1 02:03 1994 cl-protos/global.lisp rw-r--r-- 4273/0 51999 Jul 1 02:03 1994 cl-protos/heuristics.lisp rwxr-xr-x 4273/0 0 Jul 1 02:04 1994 cl-protos/holte/ rwxr-xr-x 4273/0 0 Jul 1 02:03 1994 cl-protos/holte/DOC/ rw-r--r-- 4273/0 4468 Jul 1 02:03 1994 cl-protos/holte/DOC/abs-sigs rw-r--r-- 4273/0 3070 Jul 1 02:03 1994 cl-protos/holte/DOC/changes rw-r--r-- 4273/0 810 Jul 1 02:03 1994 cl-protos/holte/DOC/ftp.instructions rw-r--r-- 4273/0 2647 Jul 1 02:03 1994 cl-protos/holte/DOC/new_abstraction rw-r--r-- 4273/0 780 Jul 1 02:03 1994 cl-protos/holte/DOC/questions1 rw-r--r-- 4273/0 712 Jul 1 02:03 1994 cl-protos/holte/DOC/questions2 rw-r--r-- 4273/0 9082 Jul 1 02:03 1994 cl-protos/holte/DOC/useDescription rw-r--r-- 4273/0 4495 Jul 1 02:03 1994 cl-protos/holte/DOC/useUpdate.930825 rwxr-xr-x 4273/0 0 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/ rw-r--r-- 4273/0 2966 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/example-5puzzle.sml rw-r--r-- 4273/0 2782 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/example-hanoi.sml rw-r--r-- 4273/0 5781 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/example-hiq.sml rw-r--r-- 4273/0 3924 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/example-nim.sml rw-r--r-- 4273/0 4152 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/example-nimREF.sml rw-r--r-- 4273/0 2269 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/example-permute.sml rw-r--r-- 4273/0 2951 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/example-qsim.sml rw-r--r-- 4273/0 5099 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/example-rickel.sml rw-r--r-- 4273/0 12274 Jul 1 02:03 1994 cl-protos/holte/EXAMPLES/example-scheduling.sml rwxr-xr-x 4273/0 0 Jul 1 02:04 1994 cl-protos/holte/SIG/ rw-r--r-- 4273/0 242 Jul 1 02:03 1994 cl-protos/holte/SIG/abs-abstraction-generator-sig.sml rw-r--r-- 4273/0 505 Jul 1 02:03 1994 cl-protos/holte/SIG/abs-functions-sig.sml rw-r--r-- 4273/0 269 Jul 1 02:03 1994 cl-protos/holte/SIG/abs-generators-sig.sml rw-r--r-- 4273/0 333 Jul 1 02:03 1994 cl-protos/holte/SIG/abs-graph-generator-sig.sml rw-r--r-- 4273/0 155 Jul 1 02:03 1994 cl-protos/holte/SIG/abs-search-sig.sml rw-r--r-- 4273/0 334 Jul 1 02:03 1994 cl-protos/holte/SIG/absgen-sig.sml rw-r--r-- 4273/0 189 Jul 1 02:03 1994 cl-protos/holte/SIG/bfs-sig.sml rw-r--r-- 4273/0 663 Jul 1 02:03 1994 cl-protos/holte/SIG/generic-graph-sig.sml rw-r--r-- 4273/0 602 Jul 1 02:03 1994 cl-protos/holte/SIG/generic-puzzle-sig.sml rw-r--r-- 4273/0 214 Jul 1 02:03 1994 cl-protos/holte/SIG/graph-generator-sig.sml rw-r--r-- 4273/0 1145 Jul 1 02:03 1994 cl-protos/holte/SIG/graph-sig.sml rw-r--r-- 4273/0 698 Jul 1 02:03 1994 cl-protos/holte/SIG/hash-key-sig.sml rw-r--r-- 4273/0 114 Jul 1 02:03 1994 cl-protos/holte/SIG/hash-state-sig.sml rw-r--r-- 4273/0 2142 Jul 1 02:03 1994 cl-protos/holte/SIG/hash-table-sig.sml rw-r--r-- 4273/0 274 Jul 1 02:03 1994 cl-protos/holte/SIG/priority-queue-sig.sml rw-r--r-- 4273/0 181 Jul 1 02:03 1994 cl-protos/holte/SIG/queue-sig.sml rw-r--r-- 4273/0 182 Jul 1 02:03 1994 cl-protos/holte/SIG/revise-start-goal-sig.sml rw-r--r-- 4273/0 196 Jul 1 02:04 1994 cl-protos/holte/SIG/search-sig.sml rw-r--r-- 4273/0 240 Jul 1 02:04 1994 cl-protos/holte/SIG/two-queue-sig.sml rw-r--r-- 4273/0 7428 Jul 1 02:04 1994 cl-protos/holte/abs-functions.sml rw-r--r-- 4273/0 2979 Jul 1 02:04 1994 cl-protos/holte/abs-generator-alternatives.sml rw-r--r-- 4273/0 2709 Jul 1 02:04 1994 cl-protos/holte/abs-generator-bias-stars.sml rw-r--r-- 4273/0 6899 Jul 1 02:04 1994 cl-protos/holte/abs-generator-bypass.sml rw-r--r-- 4273/0 2080 Jul 1 02:04 1994 cl-protos/holte/abs-generator-compress.sml rw-r--r-- 4273/0 1720 Jul 1 02:04 1994 cl-protos/holte/abs-generator-linear.sml rw-r--r-- 4273/0 642 Jul 1 02:04 1994 cl-protos/holte/abs-generator-orphans.sml rw-r--r-- 4273/0 2411 Jul 1 02:04 1994 cl-protos/holte/abs-generator-pairs.sml rw-r--r-- 4273/0 4921 Jul 1 02:04 1994 cl-protos/holte/abs-generator-stars.sml rw-r--r-- 4273/0 3277 Jul 1 02:04 1994 cl-protos/holte/abs-generator-trees.sml rw-r--r-- 4273/0 1234 Jul 1 02:04 1994 cl-protos/holte/abs-graph-generator.sml rw-r--r-- 4273/0 5470 Jul 1 02:04 1994 cl-protos/holte/abs-merge.sml rw-r--r-- 4273/0 1731 Jul 1 02:04 1994 cl-protos/holte/abs-search.sml rw-r--r-- 4273/0 1968 Jul 1 02:04 1994 cl-protos/holte/bfs-all-visited.sml rw-r--r-- 4273/0 1335 Jul 1 02:04 1994 cl-protos/holte/bfs-opportunism-alternate.sml rw-r--r-- 4273/0 1306 Jul 1 02:04 1994 cl-protos/holte/bfs-opportunism-path.sml rw-r--r-- 4273/0 2095 Jul 1 02:04 1994 cl-protos/holte/bfs-path.sml rw-r--r-- 4273/0 7780 Jul 1 02:04 1994 cl-protos/holte/classic-ref.sml rw-r--r-- 4273/0 6107 Jul 1 02:04 1994 cl-protos/holte/example-binpack.sml rw-r--r-- 4273/0 1745 Jul 1 02:04 1994 cl-protos/holte/graph-generator.sml rw-r--r-- 4273/0 1695 Jul 1 02:04 1994 cl-protos/holte/graph.sml rw-r--r-- 4273/0 6958 Jul 1 02:04 1994 cl-protos/holte/hash-table.sml rw-r--r-- 4273/0 2216 Jul 1 02:04 1994 cl-protos/holte/load-1.sml rw-r--r-- 4273/0 3229 Jul 1 02:04 1994 cl-protos/holte/load-2.sml rw-r--r-- 4273/0 2338 Jul 1 02:04 1994 cl-protos/holte/mytoolbox.sml rw-r--r-- 4273/0 921 Jul 1 02:04 1994 cl-protos/holte/noabs.sml rw-r--r-- 4273/0 1584 Jul 1 02:04 1994 cl-protos/holte/priority-queue.sml rw-r--r-- 4273/0 1343 Jul 1 02:04 1994 cl-protos/holte/puzzle-graph.sml rw-r--r-- 4273/0 324 Jul 1 02:04 1994 cl-protos/holte/queue.sml rw-r--r-- 4273/0 923 Jul 1 02:04 1994 cl-protos/holte/random.sml rw-r--r-- 4273/0 2081 Jul 1 02:04 1994 cl-protos/holte/revise-start-goal.sml rw-r--r-- 4273/0 3420 Jul 1 02:04 1994 cl-protos/holte/search.sml rw-r--r-- 4273/0 604 Jul 1 02:04 1994 cl-protos/holte/timeit.sml rw-r--r-- 4273/0 2964 Jul 1 02:04 1994 cl-protos/holte/toolBox.sml rw-r--r-- 4273/0 727 Jul 1 02:04 1994 cl-protos/holte/two-queue.sml rw-r--r-- 4273/0 1205 Jul 1 02:04 1994 cl-protos/holte/working-memory.sml rw-r--r-- 4273/0 8596 Jul 1 02:04 1994 cl-protos/intro.tex rw-r--r-- 4273/0 17395 Jul 1 02:04 1994 cl-protos/io.lisp rw-r--r-- 4273/0 27747 Jul 1 02:04 1994 cl-protos/kbio.lisp rw-r--r-- 4273/0 71070 Jul 1 02:04 1994 cl-protos/kbpm.lisp rw-r--r-- 4273/0 14729 Jul 1 02:04 1994 cl-protos/language.tex rw-r--r-- 4273/0 5705 Jul 1 02:04 1994 cl-protos/load-protos.lisp rw-r--r-- 4273/0 13284 Jul 1 02:04 1994 cl-protos/merging.lisp rw-r--r-- 4273/0 13681 Jul 1 02:04 1994 cl-protos/overview.tex rw-r--r-- 4273/0 39105 Jul 1 02:04 1994 cl-protos/parse.lisp rw-r--r-- 4273/0 31659 Jul 1 02:04 1994 cl-protos/print.lisp rw-r--r-- 4273/0 1691 Jul 1 02:04 1994 cl-protos/protos-sys.lisp rw-r--r-- 4273/0 27158 Jul 1 02:05 1994 cl-protos/protos.lisp rw-r--r-- 4273/0 1204 Jul 1 02:05 1994 cl-protos/protos.system rw-r--r-- 4273/0 829 Jul 1 02:05 1994 cl-protos/protos.translations rw-r--r-- 4273/0 37257 Jul 1 02:05 1994 cl-protos/reminding.lisp rw-r--r-- 4273/0 64966 Jul 1 02:05 1994 cl-protos/swdoc.tex rw-r--r-- 4273/0 1726 Jul 1 02:05 1994 cl-protos/test.lisp rw-r--r-- 4273/0 2501 Jul 1 02:05 1994 cl-protos/test.ls rw-r--r-- 4273/0 6547 Jul 1 02:05 1994 cl-protos/testCases.lisp rw-r--r-- 4273/0 28594 Jul 1 02:05 1994 cl-protos/test_kb.lisp rw-r--r-- 4273/0 10233 Jul 1 02:05 1994 cl-protos/tips.tex rw-r--r-- 4273/0 15385 Jul 1 02:05 1994 cl-protos/transform.lisp rw-r--r-- 4273/0 2302 Jul 1 02:05 1994 cl-protos/user.ls rw-r--r-- 4273/0 36220 Jul 1 02:05 1994 cl-protos/userguide.tex rw-r--r-- 4273/0 21346 Jul 1 02:05 1994 cl-protos/verb.lisp