rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/ rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/top/ rwxrwxrwx 11506/7004 0 Dec 11 05:17 1992 colab/top/cmds/ rwxr-xr-x 11506/7004 633 Dec 11 05:17 1992 colab/top/cmds/clear-RFM rwxr-xr-x 11506/7004 511 Dec 11 05:17 1992 colab/top/cmds/clear-contax rwxr-xr-x 11506/7004 389 Dec 11 05:17 1992 colab/top/cmds/clear-forward rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/top/docu/ rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/top/docu/help/ rwxr-xr-x 11506/7004 643 Dec 11 05:17 1992 colab/top/docu/help/?.tex rwxr-xr-x 11506/7004 373 Dec 11 05:17 1992 colab/top/docu/help/consult.tex rwxr-xr-x 11506/7004 174 Dec 11 05:17 1992 colab/top/docu/help/destroy.tex rwxr-xr-x 11506/7004 395 Dec 11 05:17 1992 colab/top/docu/help/relfun.tex rwxr-xr-x 11506/7004 310 Dec 11 05:17 1992 colab/top/docu/help/tables.tex rwxr-xr-x 11506/7004 360 Dec 11 05:17 1992 colab/top/docu/help/contax.tex rwxr-xr-x 11506/7004 367 Dec 11 05:17 1992 colab/top/docu/help/forward.tex rwxr-xr-x 11506/7004 710 Dec 11 05:17 1992 colab/top/docu/help/cd.tex rwxr-xr-x 11506/7004 394 Dec 11 05:17 1992 colab/top/docu/help/cmds.tex rwxr-xr-x 11506/7004 540 Dec 11 05:17 1992 colab/top/docu/help/cn.tex rwxr-xr-x 11506/7004 753 Dec 11 05:17 1992 colab/top/docu/help/listing.tex rwxr-xr-x 11506/7004 534 Dec 11 05:17 1992 colab/top/docu/help/col.tex rwxr-xr-x 11506/7004 643 Dec 11 05:17 1992 colab/top/docu/help/.tex rwxr-xr-x 11506/7004 382 Dec 11 05:17 1992 colab/top/docu/help/exec.tex rwxr-xr-x 11506/7004 423 Dec 11 05:17 1992 colab/top/docu/help/help.tex rwxr-xr-x 11506/7004 530 Dec 11 05:17 1992 colab/top/docu/help/fw.tex rwxr-xr-x 11506/7004 427 Dec 11 05:17 1992 colab/top/docu/help/lisp.tex rwxr-xr-x 11506/7004 130 Dec 11 05:17 1992 colab/top/docu/help/pwd.tex rwxr-xr-x 11506/7004 480 Dec 11 05:17 1992 colab/top/docu/help/replace.tex rwxr-xr-x 11506/7004 550 Dec 11 05:17 1992 colab/top/docu/help/rf.tex rwxr-xr-x 11506/7004 378 Dec 11 05:17 1992 colab/top/docu/help/rfe.tex rwxr-xr-x 11506/7004 171 Dec 11 05:17 1992 colab/top/docu/help/version.tex rwxr-xr-x 11506/7004 355 Dec 11 05:18 1992 colab/top/docu/help/taxon.tex rwxr-xr-x 11506/7004 518 Dec 11 05:18 1992 colab/top/docu/help/tx.tex rwxr-xr-x 11506/7004 318 Dec 11 05:18 1992 colab/top/docu/help/back.tex rwxr-xr-x 11506/7004 382 Dec 11 05:18 1992 colab/top/docu/help/rfi.tex rwxr-xr-x 11506/7004 214 Dec 11 05:18 1992 colab/top/docu/help/colab.tex rwxr-xr-x 11506/7004 522 Dec 11 05:18 1992 colab/top/docu/help/reload.tex rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/top/docu/manual/ rwxr-xr-x 11506/7004 66019 Dec 11 05:18 1992 colab/top/docu/manual/toplevel.ps rwxr-xr-x 11506/7004 2171 Dec 11 05:18 1992 colab/top/patches.lisp rwxr-xr-x 11506/7004 59439 Dec 11 05:18 1992 colab/top/defsystem.lisp rwxr-xr-x 11506/7004 46999 Dec 11 05:18 1992 colab/top/colab.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/top/demo/ rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/top/demo/mcad2nc/ rw-r--r-- 11506/7004 29749 Dec 11 05:18 1992 colab/top/demo/mcad2nc/mcad2nc.script rwxr-xr-x 11506/7004 3002 Dec 11 05:18 1992 colab/top/demo/mcad2nc/anc-program.rf rwxr-xr-x 11506/7004 3727 Dec 11 05:18 1992 colab/top/demo/mcad2nc/brief-intro.rf rwxr-xr-x 11506/7004 8904 Dec 11 05:18 1992 colab/top/demo/mcad2nc/class-feat.rf rwxr-xr-x 11506/7004 15284 Dec 11 05:18 1992 colab/top/demo/mcad2nc/skeletal.rf rwxr-xr-x 11506/7004 5622 Dec 11 05:18 1992 colab/top/demo/mcad2nc/micro2.tx rwxr-xr-x 11506/7004 1324 Dec 11 05:18 1992 colab/top/demo/mcad2nc/examples.rf rwxr-xr-x 11506/7004 14356 Dec 11 05:18 1992 colab/top/demo/mcad2nc/feat2p.rf rwxr-xr-x 11506/7004 17651 Dec 11 05:18 1992 colab/top/demo/mcad2nc/hybrid.rf rwxr-xr-x 11506/7004 1387 Dec 11 05:18 1992 colab/top/demo/mcad2nc/inst.ctx rwxr-xr-x 11506/7004 848 Dec 11 05:18 1992 colab/top/demo/mcad2nc/library.rf rwxr-xr-x 11506/7004 1761 Dec 11 05:18 1992 colab/top/demo/mcad2nc/rng2p.rf rwxr-xr-x 11506/7004 3177 Dec 11 05:18 1992 colab/top/demo/mcad2nc/demo.rf rwxr-xr-x 11506/7004 486 Dec 11 05:18 1992 colab/top/demo/mcad2nc/start.bat rwxr-xr-x 11506/7004 11607 Dec 11 05:18 1992 colab/top/demo/mcad2nc/tools.ctx rwxr-xr-x 11506/7004 10410 Dec 11 05:18 1992 colab/top/demo/mcad2nc/tx-access.rf rwxr-xr-x 11506/7004 1538 Dec 11 05:18 1992 colab/top/demo/mcad2nc/demotxfw.rf rwxr-xr-x 11506/7004 2371 Dec 11 05:18 1992 colab/top/demo/mcad2nc/wp-mcad2nc.rf rwxr-xr-x 11506/7004 253 Dec 11 05:18 1992 colab/top/demo/mcad2nc/starttxfw.bat rwxr-xr-x 11506/7004 9979 Dec 11 05:18 1992 colab/top/demo/mcad2nc/tx-parts-emul.rf rwxr-xr-x 11506/7004 658 Dec 11 05:18 1992 colab/top/demo/mcad2nc/constdef.lisp rwxr-xr-x 11506/7004 10201 Dec 11 05:18 1992 colab/top/demo/mcad2nc/tx-additions.rf rwxr-xr-x 11506/7004 2453 Dec 11 05:18 1992 colab/top/demo/mcad2nc/rfm-only-mcad2nc.script rwxr-xr-x 11506/7004 8515 Dec 11 05:18 1992 colab/top/demo/mcad2nc/class-feat.rf.beautified rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/top/demo/decplan/ rw-r--r-- 11506/7004 414 Dec 11 05:18 1992 colab/top/demo/decplan/decplan.bat rw-r--r-- 11506/7004 180 Dec 11 05:18 1992 colab/top/demo/decplan/start.script rwxr-xr-x 11506/7004 13242 Dec 11 05:18 1992 colab/top/demo/decplan/decplan.col rw-r--r-- 11506/7004 10725 Dec 11 05:18 1992 colab/top/demo/decplan/decplan.script rwxr-xr-x 11506/7004 2218 Dec 11 05:18 1992 colab/top/demo/decplan/wp-facts.rf rwxr-xr-x 11506/7004 11924 Dec 11 05:18 1992 colab/top/demo/decplan/feature-rules.rf rwxr-xr-x 11506/7004 471 Dec 11 05:18 1992 colab/top/demo/decplan/ext-decplan.bat rwxr-xr-x 11506/7004 5842 Dec 11 05:18 1992 colab/top/demo/decplan/feature-concepts.tx rwxr-xr-x 11506/7004 21550 Dec 11 05:18 1992 colab/top/demo/decplan/skeletal.rf rwxr-xr-x 11506/7004 23492 Dec 11 05:18 1992 colab/top/demo/decplan/decplan-subsumption-graph.ps rwxr-xr-x 11506/7004 10485 Dec 11 05:18 1992 colab/top/our-fs.lisp rwxr-xr-x 11506/7004 1476 Dec 11 05:18 1992 colab/top/start-RFM.lisp rwxr-xr-x 11506/7004 725 Dec 11 05:18 1992 colab/top/demo-break.lisp rwxr-xr-x 11506/7004 662 Dec 11 05:18 1992 colab/top/col-keys.lisp rwxr-xr-x 11506/7004 4190 Dec 11 05:18 1992 colab/top/start-colab.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/contax/ rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/contax/docu/ rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/contax/docu/help/ rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/contax/docu/manual/ rwxr-xr-x 11506/7004 182486 Dec 11 05:18 1992 colab/contax/docu/manual/manual.ps rwxr-xr-x 11506/7004 71703 Dec 11 05:18 1992 colab/contax/docu/manual/install.ps rwxr-xr-x 11506/7004 5754 Dec 11 05:18 1992 colab/contax/constraint-queues.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/contax/contax-ibin/ rwxr-xr-x 11506/7004 11504 Dec 11 05:18 1992 colab/contax/variables.lisp rwxr-xr-x 11506/7004 2726 Dec 11 05:18 1992 colab/contax/intervals.lisp rwxr-xr-x 11506/7004 15008 Dec 11 05:18 1992 colab/contax/predicates.lisp rwxr-xr-x 11506/7004 6457 Dec 11 05:18 1992 colab/contax/isai-interface.lisp rwxr-xr-x 11506/7004 6623 Dec 11 05:18 1992 colab/contax/programmer-interface.lisp rwxr-xr-x 11506/7004 1823 Dec 11 05:18 1992 colab/contax/convert-hierarchy.lisp rwxr-xr-x 11506/7004 4000 Dec 11 05:18 1992 colab/contax/revise.lisp rwxr-xr-x 11506/7004 12736 Dec 11 05:18 1992 colab/contax/debugger.lisp rwxr-xr-x 11506/7004 10451 Dec 11 05:18 1992 colab/contax/our-fs.lisp rwxr-xr-x 11506/7004 5591 Dec 11 05:18 1992 colab/contax/user-interface.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/contax/demo/ rwxr-xr-x 11506/7004 2617 Dec 11 05:18 1992 colab/contax/demo/5houses.col rwxr-xr-x 11506/7004 37475 Dec 11 05:18 1992 colab/contax/demo/cwpvh.ctx rwxr-xr-x 11506/7004 3099 Dec 11 05:18 1992 colab/contax/demo/4queens.ctx rwxr-xr-x 11506/7004 5499 Dec 11 05:18 1992 colab/contax/demo/5houses.ctx rwxr-xr-x 11506/7004 7487 Dec 11 05:18 1992 colab/contax/demo/8queens-all.ctx rwxr-xr-x 11506/7004 4615 Dec 11 05:18 1992 colab/contax/demo/8queens.col rwxr-xr-x 11506/7004 7508 Dec 11 05:18 1992 colab/contax/demo/8queens.ctx rwxr-xr-x 11506/7004 21501 Dec 11 05:18 1992 colab/contax/demo/cwpvh.col rwxr-xr-x 11506/7004 3436 Dec 11 05:18 1992 colab/contax/demo/slides.col rwxr-xr-x 11506/7004 1849 Dec 11 05:18 1992 colab/contax/demo/slides.ctx rwxr-xr-x 11506/7004 497 Dec 11 05:18 1992 colab/contax/demo/slides.tax rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/contax/contax-sbin/ rwxr-xr-x 11506/7004 1915 Dec 11 05:18 1992 colab/contax/start-contax.lisp rwxr-xr-x 11506/7004 6306 Dec 11 05:18 1992 colab/contax/hierarchies.lisp rwxr-xr-x 11506/7004 3179 Dec 11 05:18 1992 colab/contax/negation.lisp rwxr-xr-x 11506/7004 1625 Dec 11 05:18 1992 colab/contax/assistant-macros.lisp rwxr-xr-x 11506/7004 3971 Dec 11 05:18 1992 colab/contax/contax-system.lisp rwxr-xr-x 11506/7004 4386 Dec 11 05:18 1992 colab/contax/assistant-functions.lisp rwxr-xr-x 11506/7004 22673 Dec 11 05:18 1992 colab/contax/constraints.lisp rwxr-xr-x 11506/7004 10355 Dec 11 05:18 1992 colab/contax/colab-interface.lisp rwxr-xr-x 11506/7004 12649 Dec 11 05:18 1992 colab/contax/control.lisp rwxr-xr-x 11506/7004 56986 Dec 11 05:18 1992 colab/contax/defsystem.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/forward/ rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/forward/demo/ rwxr-xr-x 11506/7004 9305 Dec 11 05:18 1992 colab/forward/demo/m-tx-parts.rf rwxr-xr-x 11506/7004 2890 Dec 11 05:18 1992 colab/forward/demo/demo.rf rwxr-xr-x 11506/7004 1425 Dec 11 05:18 1992 colab/forward/demo/demotxfw.rf rwxr-xr-x 11506/7004 155 Dec 11 05:18 1992 colab/forward/demo/hn.rf rwxr-xr-x 11506/7004 2355 Dec 11 05:18 1992 colab/forward/demo/m-wp-truncone.rf rwxr-xr-x 11506/7004 250 Dec 11 05:18 1992 colab/forward/demo/mfacts.rf rwxr-xr-x 11506/7004 253 Dec 11 05:18 1992 colab/forward/demo/mrules.rf rwxr-xr-x 11506/7004 255 Dec 11 05:18 1992 colab/forward/demo/mrules1.rf rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/forward/demo/semi-tx/ rwxr-xr-x 11506/7004 150 Dec 11 05:18 1992 colab/forward/demo/semi-tx/semi-tx-tc.bat rwxr-xr-x 11506/7004 151 Dec 11 05:18 1992 colab/forward/demo/semi-tx/semi-tx.bat rwxr-xr-x 11506/7004 5529 Dec 11 05:18 1992 colab/forward/demo/semi-tx/micro.tx rwxr-xr-x 11506/7004 2371 Dec 11 05:18 1992 colab/forward/demo/semi-tx/wp-mcad2nc-semitx.rf rwxr-xr-x 11506/7004 6686 Dec 11 05:18 1992 colab/forward/demo/semi-tx/tx-parts-semitx.rf rwxr-xr-x 11506/7004 2596 Dec 11 05:18 1992 colab/forward/demo/semi-tx/m-wp-truncone.rf rwxr-xr-x 11506/7004 150 Dec 11 05:18 1992 colab/forward/demo/semi-tx/semi-tx-tc-wd.bat rwxr-xr-x 11506/7004 149 Dec 11 05:18 1992 colab/forward/demo/semi-tx/semi-tx-asse.bat rwxr-xr-x 11506/7004 2444 Dec 11 05:18 1992 colab/forward/demo/semi-tx/m-wp-asse.rf rwxr-xr-x 11506/7004 5875 Dec 11 05:18 1992 colab/forward/demo/semi-tx/tx-parts-semitx-asse.rf rwxr-xr-x 11506/7004 6686 Dec 11 05:18 1992 colab/forward/demo/semi-tx/tx-parts-semitx-tc.rf rwxr-xr-x 11506/7004 6514 Dec 11 05:18 1992 colab/forward/demo/semi-tx/tx-parts-semitx-wd.rf rwxr-xr-x 11506/7004 1436 Dec 11 05:18 1992 colab/forward/demo/parteval-db.rf rwxr-xr-x 11506/7004 1276 Dec 11 05:18 1992 colab/forward/demo/rl.rf rwxr-xr-x 11506/7004 9930 Dec 11 05:18 1992 colab/forward/demo/tx-parts-emul.rf rwxr-xr-x 11506/7004 2188 Dec 11 05:18 1992 colab/forward/demo/wp-facts1.rf r-xr-xr-x 11506/7004 20068 Dec 11 05:18 1992 colab/forward/demo/forward.script rwxr-xr-x 11506/7004 2371 Dec 11 05:18 1992 colab/forward/demo/wp-mcad2nc1.rf r-xr-xr-x 11506/7004 16028 Dec 11 05:18 1992 colab/forward/demo/magic.script rwxr-xr-x 11506/7004 72 Dec 11 05:18 1992 colab/forward/demo/semi.bat rwxr-xr-x 11506/7004 192 Dec 11 05:18 1992 colab/forward/demo/magic.bat rwxr-xr-x 11506/7004 1055 Dec 11 05:18 1992 colab/forward/demo/parteval-df.rf rwxr-xr-x 11506/7004 159 Dec 11 05:18 1992 colab/forward/demo/parteval.bat rwxr-xr-x 11506/7004 368 Dec 11 05:18 1992 colab/forward/demo/partevalc.bat r-xr-xr-x 11506/7004 19261 Dec 11 05:18 1992 colab/forward/demo/semi.script rwxrwxrwx 11506/7004 0 Dec 11 05:18 1992 colab/forward/demo/semi-mconc/ rwxr-x--- 11506/7004 82 Dec 11 05:18 1992 colab/forward/demo/semi-mconc/semi-mc.bat rwxr-x--- 11506/7004 6502 Dec 11 05:18 1992 colab/forward/demo/semi-mconc/tx-parts-semimc.rf rwxr-x--- 11506/7004 2948 Dec 11 05:18 1992 colab/forward/demo/semi-mconc/wp-mcad2nc-semimc.rf rwxr-xr-x 11506/7004 235 Dec 11 05:18 1992 colab/forward/demo/contour.rf rwxr-xr-x 11506/7004 182 Dec 11 05:18 1992 colab/forward/demo/contour.bat rwxrwxrwx 11506/7004 0 Dec 11 05:19 1992 colab/forward/docu/ rwxrwxrwx 11506/7004 0 Dec 11 05:19 1992 colab/forward/docu/help/ rwxr-xr-x 11506/7004 565 Dec 11 05:18 1992 colab/forward/docu/help/az.tex rwxr-xr-x 11506/7004 317 Dec 11 05:18 1992 colab/forward/docu/help/afact.tex rwxr-xr-x 11506/7004 457 Dec 11 05:18 1992 colab/forward/docu/help/arl.tex rwxr-xr-x 11506/7004 459 Dec 11 05:18 1992 colab/forward/docu/help/aup.tex rwxr-xr-x 11506/7004 287 Dec 11 05:18 1992 colab/forward/docu/help/rx.tex rwxr-xr-x 11506/7004 307 Dec 11 05:18 1992 colab/forward/docu/help/azfact.tex rwxr-xr-x 11506/7004 443 Dec 11 05:18 1992 colab/forward/docu/help/azrl.tex rwxr-xr-x 11506/7004 443 Dec 11 05:18 1992 colab/forward/docu/help/azup.tex rwxr-xr-x 11506/7004 393 Dec 11 05:18 1992 colab/forward/docu/help/consult-facts.tex rwxr-xr-x 11506/7004 410 Dec 11 05:18 1992 colab/forward/docu/help/consult-rules.tex rwxr-xr-x 11506/7004 402 Dec 11 05:18 1992 colab/forward/docu/help/consult-strategies.tex rwxr-xr-x 11506/7004 610 Dec 11 05:18 1992 colab/forward/docu/help/consult.tex rwxr-xr-x 11506/7004 190 Dec 11 05:18 1992 colab/forward/docu/help/destroy-facts.tex rwxr-xr-x 11506/7004 760 Dec 11 05:18 1992 colab/forward/docu/help/l.tex rwxr-xr-x 11506/7004 313 Dec 11 05:18 1992 colab/forward/docu/help/destroy-rules.tex rwxr-xr-x 11506/7004 232 Dec 11 05:18 1992 colab/forward/docu/help/destroy.tex rwxr-xr-x 11506/7004 443 Dec 11 05:19 1992 colab/forward/docu/help/replace-strategies.tex rwxr-xr-x 11506/7004 494 Dec 11 05:19 1992 colab/forward/docu/help/fw-compile-rules.tex rwxr-xr-x 11506/7004 200 Dec 11 05:19 1992 colab/forward/docu/help/fw-emul.tex rwxr-xr-x 11506/7004 238 Dec 11 05:19 1992 colab/forward/docu/help/fw-inter.tex rwxr-xr-x 11506/7004 289 Dec 11 05:19 1992 colab/forward/docu/help/hornify-up.tex rwxr-xr-x 11506/7004 275 Dec 11 05:19 1992 colab/forward/docu/help/fw-transform.tex rwxr-xr-x 11506/7004 517 Dec 11 05:19 1992 colab/forward/docu/help/help.tex rwxr-xr-x 11506/7004 131 Dec 11 05:19 1992 colab/forward/docu/help/helpmask.tex rwxr-xr-x 11506/7004 690 Dec 11 05:19 1992 colab/forward/docu/help/list-facts.tex rwxr-xr-x 11506/7004 339 Dec 11 05:19 1992 colab/forward/docu/help/hornify.tex rwxr-xr-x 11506/7004 673 Dec 11 05:19 1992 colab/forward/docu/help/list-strategies.tex rwxr-xr-x 11506/7004 448 Dec 11 05:19 1992 colab/forward/docu/help/list-forward.tex rwxr-xr-x 11506/7004 716 Dec 11 05:19 1992 colab/forward/docu/help/list-magic.tex rwxr-xr-x 11506/7004 668 Dec 11 05:19 1992 colab/forward/docu/help/list-rules.tex rwxr-xr-x 11506/7004 487 Dec 11 05:19 1992 colab/forward/docu/help/magic-eval.tex rwxr-xr-x 11506/7004 746 Dec 11 05:19 1992 colab/forward/docu/help/listing.tex rwxr-xr-x 11506/7004 566 Dec 11 05:19 1992 colab/forward/docu/help/replace.tex rwxr-xr-x 11506/7004 531 Dec 11 05:19 1992 colab/forward/docu/help/magic-semi.tex rwxr-xr-x 11506/7004 493 Dec 11 05:19 1992 colab/forward/docu/help/magic-sets.tex rwxr-xr-x 11506/7004 125 Dec 11 05:19 1992 colab/forward/docu/help/nospy.tex rwxr-xr-x 11506/7004 410 Dec 11 05:19 1992 colab/forward/docu/help/replace-facts.tex rwxr-xr-x 11506/7004 444 Dec 11 05:19 1992 colab/forward/docu/help/replace-rules.tex rwxr-xr-x 11506/7004 522 Dec 11 05:19 1992 colab/forward/docu/help/spy.tex rwxr-xr-x 11506/7004 283 Dec 11 05:19 1992 colab/forward/docu/help/eval.tex rwxr-xr-x 11506/7004 275 Dec 11 05:19 1992 colab/forward/docu/help/rxfact.tex rwxr-xr-x 11506/7004 475 Dec 11 05:19 1992 colab/forward/docu/help/rxrl.tex rwxr-xr-x 11506/7004 472 Dec 11 05:19 1992 colab/forward/docu/help/rxup.tex rwxr-xr-x 11506/7004 303 Dec 11 05:19 1992 colab/forward/docu/help/semi-naive.tex rwxr-xr-x 11506/7004 372 Dec 11 05:19 1992 colab/forward/docu/help/split-rules.tex rwxr-xr-x 11506/7004 224 Dec 11 05:19 1992 colab/forward/docu/help/compile-strategies.tex rwxr-xr-x 11506/7004 574 Dec 11 05:19 1992 colab/forward/docu/help/a.tex rwxr-xr-x 11506/7004 519 Dec 11 05:19 1992 colab/forward/docu/help/fw-compile.tex rwxr-xr-x 11506/7004 338 Dec 11 05:19 1992 colab/forward/docu/help/fw-compile-facts.tex rwxr-xr-x 11506/7004 520 Dec 11 05:19 1992 colab/forward/docu/help/magic-query.tex rwxr-xr-x 11506/7004 494 Dec 11 05:19 1992 colab/forward/docu/help/magic-transform.tex rwxr-xr-x 11506/7004 528 Dec 11 05:19 1992 colab/forward/docu/help/rf-query.tex rwxr-xr-x 11506/7004 198 Dec 11 05:19 1992 colab/forward/docu/help/destroy-magic.tex rwxr-xr-x 11506/7004 350 Dec 11 05:19 1992 colab/forward/docu/help/rule-compile.tex rwxrwxrwx 11506/7004 0 Dec 11 05:19 1992 colab/forward/docu/manual/ rwxr-xr-x 11506/7004 326298 Dec 11 05:19 1992 colab/forward/docu/manual/fw-manual.ps rwxrwxrwx 11506/7004 0 Dec 11 05:19 1992 colab/forward/fw-bottomup/ rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/forward/fw-bottomup/magic/ rwxr-xr-x 11506/7004 41044 Dec 11 05:19 1992 colab/forward/fw-bottomup/magic/magic-sets.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/forward/fw-bottomup/semi-naive/ rwxr-xr-x 11506/7004 43749 Dec 11 05:19 1992 colab/forward/fw-bottomup/semi-naive/semi-naive.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/forward/fam/ rwxr-xr-x 11506/7004 42 Dec 11 05:19 1992 colab/forward/fam/start-FAM.lisp rwxr-xr-x 11506/7004 36851 Dec 11 05:19 1992 colab/forward/fam/emulator.lisp rwxr-xr-x 11506/7004 18181 Dec 11 05:19 1992 colab/forward/fam/compiler.lisp rwxr-xr-x 11506/7004 7956 Dec 11 05:19 1992 colab/forward/fam/interface.lisp rwxr-xr-x 11506/7004 454 Dec 11 05:19 1992 colab/forward/fam/interface.asm rwxr-xr-x 11506/7004 34106 Dec 11 05:19 1992 colab/forward/fam/emu.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:19 1992 colab/forward/fw-relfun/ rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/forward/fw-relfun/fw-rfe/ rwxr-xr-x 11506/7004 2289 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/procedures.lisp rwxr-xr-x 11506/7004 18193 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/retain.lisp rwxr-xr-x 11506/7004 43 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/str-taxon.lisp rwxr-xr-x 11506/7004 920 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/tools.lisp rwxr-xr-x 11506/7004 1671 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/interface.lisp rwxr-xr-x 11506/7004 10876 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/changes.lisp rwxr-xr-x 11506/7004 40 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/instructions.lisp rwxr-xr-x 11506/7004 1057 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/procedures.asm rwxr-xr-x 11506/7004 91 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/fw-retain-startup.lisp rwxr-xr-x 11506/7004 7844 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/fc-strat.asm rwxr-xr-x 11506/7004 2981 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/absyn2.patch.lisp rwxr-xr-x 11506/7004 433 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/fw-gassem-startup.lisp rwxr-xr-x 11506/7004 39 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/strategie-WAM.lisp rwxr-xr-x 11506/7004 2410 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/interface.asm rwxr-xr-x 11506/7004 12525 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/fc-strat+tx.asm rwxr-xr-x 11506/7004 615 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfe/basic.asm rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/forward/fw-relfun/fw-rfi/ rwxr-xr-x 11506/7004 7921 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfi/fw-horizon-comp.lisp rwxr-xr-x 11506/7004 5967 Dec 11 05:19 1992 colab/forward/fw-relfun/fw-rfi/fw-retain-admin.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/forward/fw-relfun/meta/ rwxr-xr-x 11506/7004 280 Dec 11 05:19 1992 colab/forward/fw-relfun/meta/pe.lisp rwxr-xr-x 11506/7004 19557 Dec 11 05:19 1992 colab/forward/fw-relfun/meta/part-eval.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:19 1992 colab/forward/fw-relfun/strategies/ rwxr-xr-x 11506/7004 264 Dec 11 05:19 1992 colab/forward/fw-relfun/strategies/forward-prelude.rf rwxr-xr-x 11506/7004 10201 Dec 11 05:19 1992 colab/forward/fw-relfun/strategies/tx-additions.rf rwxr-xr-x 11506/7004 5416 Dec 11 05:19 1992 colab/forward/fw-relfun/strategies/fc-strategies.rf rwxr-xr-x 11506/7004 43 Dec 11 05:19 1992 colab/forward/fw-relfun/strategies/fc-tx-strat.rf rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/forward/fw-relfun/taxon-interface/ rwxr-xr-x 11506/7004 330 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/fw-exec.bat rwxr-xr-x 11506/7004 5018 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/tx-transformer.lisp rwxr-xr-x 11506/7004 9650 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/tx-access-with-print.rf rwxr-xr-x 11506/7004 10410 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/tx-access.rf rwxr-xr-x 11506/7004 1256 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/tx-additions.rf rwxr-xr-x 11506/7004 11984 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/tx-p-short.rf rwxr-xr-x 11506/7004 7798 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/tx-parts-emul.rf rwxr-xr-x 11506/7004 12572 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/tx-parts.data1.rf rwxr-xr-x 11506/7004 12638 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/tx-parts.rf rwxr-xr-x 11506/7004 8644 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/txa.rf rwxr-xr-x 11506/7004 2102 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/wp-facts.rf rwxr-xr-x 11506/7004 2411 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/wp-mcad2nc-hoch.rf rwxr-xr-x 11506/7004 1763 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/wp-mcad2nc-min-attr.rf rwxr-xr-x 11506/7004 1304 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/wp-mcad2nc-short.rf rwxr-xr-x 11506/7004 1304 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/wp-mcad2nc-small.rf rwxr-xr-x 11506/7004 2411 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/wp-mcad2nc.rf rwxr-xr-x 11506/7004 881 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/get-wp.lisp rwxr-xr-x 11506/7004 981 Dec 11 05:19 1992 colab/forward/fw-relfun/taxon-interface/instance-name.lisp rwxr-xr-x 11506/7004 3895 Dec 11 05:19 1992 colab/forward/fw-access.lisp rwxr-xr-x 11506/7004 28440 Dec 11 05:19 1992 colab/forward/fw-colab-top.lisp rwxr-xr-x 11506/7004 5440 Dec 11 05:19 1992 colab/forward/forward-system.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:21 1992 colab/RFM/ rwxrwxrwx 11506/7004 0 Dec 11 05:19 1992 colab/RFM/docu/ rwxrwxrwx 11506/7004 0 Dec 11 05:19 1992 colab/RFM/docu/manual/ rwxr-xr-x 11506/7004 73028 Dec 11 05:19 1992 colab/RFM/docu/manual/RFM-Manual.ps rwxr-xr-x 11506/7004 331452 Dec 11 05:19 1992 colab/RFM/docu/manual/bad-honef.ps rwxr-xr-x 11506/7004 925692 Dec 11 05:19 1992 colab/RFM/docu/manual/index.ps rwxr-xr-x 11506/7004 267770 Dec 11 05:19 1992 colab/RFM/docu/manual/intro.ps rwxrwxrwx 11506/7004 0 Dec 11 05:19 1992 colab/RFM/docu/help/ rwxr-x--- 11506/7004 376 Dec 11 05:19 1992 colab/RFM/docu/help/init.lisp rwxr-xr-x 11506/7004 273 Dec 11 05:19 1992 colab/RFM/docu/help/a0.tex rwxr-xr-x 11506/7004 311 Dec 11 05:19 1992 colab/RFM/docu/help/script.tex rwxr-xr-x 11506/7004 530 Dec 11 05:19 1992 colab/RFM/docu/help/a0hn.tex rwxr-xr-x 11506/7004 589 Dec 11 05:19 1992 colab/RFM/docu/help/a0ft.tex rwxr-xr-x 11506/7004 519 Dec 11 05:19 1992 colab/RFM/docu/help/azhn.tex rwxr-x--- 11506/7004 29 Dec 11 05:19 1992 colab/RFM/docu/help/asm.tex rwxr-xr-x 11506/7004 556 Dec 11 05:19 1992 colab/RFM/docu/help/rxft.tex rwxr-x--- 11506/7004 1850 Dec 11 05:19 1992 colab/RFM/docu/help/assem.tex rwxr-x--- 11506/7004 269 Dec 11 05:19 1992 colab/RFM/docu/help/az.tex rwxr-xr-x 11506/7004 496 Dec 11 05:19 1992 colab/RFM/docu/help/rxhn.tex rwxr-xr-x 11506/7004 577 Dec 11 05:19 1992 colab/RFM/docu/help/azft.tex rwxr-xr-x 11506/7004 306 Dec 11 05:19 1992 colab/RFM/docu/help/exec.tex rwxr-xr-x 11506/7004 154 Dec 11 05:19 1992 colab/RFM/docu/help/endscript.tex rwxr-x--- 11506/7004 422 Dec 11 05:19 1992 colab/RFM/docu/help/break.tex rwxr-xr-x 11506/7004 262 Dec 11 05:19 1992 colab/RFM/docu/help/more.tex rwxr-x--- 11506/7004 169 Dec 11 05:19 1992 colab/RFM/docu/help/builtins.tex rwxr-x--- 11506/7004 116 Dec 11 05:19 1992 colab/RFM/docu/help/bye.tex rwxr-xr-x 11506/7004 199 Dec 11 05:19 1992 colab/RFM/docu/help/relfun.tex rwxr-x--- 11506/7004 532 Dec 11 05:19 1992 colab/RFM/docu/help/compile.tex rwxr-xr-x 11506/7004 187 Dec 11 05:19 1992 colab/RFM/docu/help/style.tex rwxr-x--- 11506/7004 487 Dec 11 05:19 1992 colab/RFM/docu/help/consult.tex rwxr-x--- 11506/7004 98 Dec 11 05:19 1992 colab/RFM/docu/help/deanon.tex rwxr-x--- 11506/7004 141 Dec 11 05:19 1992 colab/RFM/docu/help/destroy.tex rwxr-x--- 11506/7004 29 Dec 11 05:19 1992 colab/RFM/docu/help/l.tex rwxr-x--- 11506/7004 137 Dec 11 05:19 1992 colab/RFM/docu/help/emul.tex rwxr-x--- 11506/7004 2636 Dec 11 05:19 1992 colab/RFM/docu/help/help.tex rwxr-x--- 11506/7004 655 Dec 11 05:19 1992 colab/RFM/docu/help/help2dvi rwxr-x--- 11506/7004 124 Dec 11 05:19 1992 colab/RFM/docu/help/help2dvi.tex rwxr-x--- 11506/7004 136 Dec 11 05:19 1992 colab/RFM/docu/help/hitrans.tex rwxr-x--- 11506/7004 256 Dec 11 05:19 1992 colab/RFM/docu/help/horizon.tex rwxr-x--- 11506/7004 1007 Dec 11 05:19 1992 colab/RFM/docu/help/indexing.tex rwxr-x--- 11506/7004 179 Dec 11 05:19 1992 colab/RFM/docu/help/inter.tex rwxr-x--- 11506/7004 440 Dec 11 05:19 1992 colab/RFM/docu/help/lconsult.tex rwxr-x--- 11506/7004 116 Dec 11 05:19 1992 colab/RFM/docu/help/lisp.tex rwxr-x--- 11506/7004 329 Dec 11 05:19 1992 colab/RFM/docu/help/listclass.tex rwxr-x--- 11506/7004 319 Dec 11 05:19 1992 colab/RFM/docu/help/listcode.tex rwxr-x--- 11506/7004 597 Dec 11 05:19 1992 colab/RFM/docu/help/listing.tex rwxr-x--- 11506/7004 417 Dec 11 05:19 1992 colab/RFM/docu/help/lreplace.tex rwxr-x--- 11506/7004 25 Dec 11 05:19 1992 colab/RFM/docu/help/m.tex rwxr-x--- 11506/7004 124 Dec 11 05:19 1992 colab/RFM/docu/help/nospy.tex rwxr-x--- 11506/7004 98 Dec 11 05:19 1992 colab/RFM/docu/help/ori.tex rwxr-x--- 11506/7004 88 Dec 11 05:19 1992 colab/RFM/docu/help/prelude.tex rwxr-x--- 11506/7004 292 Dec 11 05:19 1992 colab/RFM/docu/help/replace.tex rwxr-x--- 11506/7004 216 Dec 11 05:19 1992 colab/RFM/docu/help/rx.tex rwxr-x--- 11506/7004 303 Dec 11 05:19 1992 colab/RFM/docu/help/showdepth.tex rwxr-x--- 11506/7004 38 Dec 11 05:19 1992 colab/RFM/docu/help/sl.tex rwxr-x--- 11506/7004 41 Dec 11 05:19 1992 colab/RFM/docu/help/sp.tex rwxr-x--- 11506/7004 317 Dec 11 05:19 1992 colab/RFM/docu/help/spy.tex rwxr-x--- 11506/7004 317 Dec 11 05:19 1992 colab/RFM/docu/help/tell.tex rwxr-x--- 11506/7004 532 Dec 11 05:19 1992 colab/RFM/docu/help/texhelpfiles rwxr-x--- 11506/7004 131 Dec 11 05:19 1992 colab/RFM/docu/help/uncomma.tex rwxr-x--- 11506/7004 122 Dec 11 05:19 1992 colab/RFM/docu/help/unlambda.tex rwxr-x--- 11506/7004 101 Dec 11 05:19 1992 colab/RFM/docu/help/unmacro.tex rwxr-x--- 11506/7004 106 Dec 11 05:19 1992 colab/RFM/docu/help/unor.tex rwxr-x--- 11506/7004 173 Dec 11 05:19 1992 colab/RFM/docu/help/untype.tex rwxr-x--- 11506/7004 275 Dec 11 05:19 1992 colab/RFM/docu/help/verti.tex rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/RFM/gama/ rwxr-xr-x 11506/7004 1148 Dec 11 05:19 1992 colab/RFM/gama/README rwxr-xr-x 11506/7004 21543 Dec 11 05:19 1992 colab/RFM/gama/gasm.lisp rwxr-x--- 11506/7004 1037 Dec 11 05:19 1992 colab/RFM/gama/gaux.lisp rwxr-xr-x 11506/7004 2049 Dec 11 05:19 1992 colab/RFM/gama/gcla.lisp rwxr-xr-x 11506/7004 62 Dec 11 05:19 1992 colab/RFM/gama/ginit.lisp rwxr-xr-x 11506/7004 2659 Dec 11 05:19 1992 colab/RFM/gama/gmem.lisp rwxr-x--- 11506/7004 2169 Dec 11 05:19 1992 colab/RFM/gama/gmht.lisp rwxr-xr-x 11506/7004 71473 Dec 11 05:19 1992 colab/RFM/gama/gwam.lisp rwxr-x--- 11506/7004 379 Dec 11 05:19 1992 colab/RFM/gama/fw-asm.lisp rwxr-x--- 11506/7004 2315 Dec 11 05:19 1992 colab/RFM/gama/gwaminit.asm rwxr-x--- 11506/7004 337 Dec 11 05:19 1992 colab/RFM/gama/gcompile.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/RFM/aux/ rwxr-x--- 11506/7004 2162 Dec 11 05:20 1992 colab/RFM/aux/aux.lisp rwxr-x--- 11506/7004 3337 Dec 11 05:20 1992 colab/RFM/aux/our-fs.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/RFM/classifier/ rwxr-x--- 11506/7004 18864 Dec 11 05:20 1992 colab/RFM/classifier/absyn1.lisp rwxr-x--- 11506/7004 12728 Dec 11 05:20 1992 colab/RFM/classifier/absyn2.lisp rwxr-x--- 11506/7004 9120 Dec 11 05:20 1992 colab/RFM/classifier/clasPas1.lisp rwxr-x--- 11506/7004 25717 Dec 11 05:20 1992 colab/RFM/classifier/clasPas2.lisp rwxr-x--- 11506/7004 5028 Dec 11 05:20 1992 colab/RFM/classifier/classify.lisp rwxr-x--- 11506/7004 3133 Dec 11 05:20 1992 colab/RFM/classifier/simplify.lisp rwxr-x--- 11506/7004 3133 Dec 11 05:20 1992 colab/RFM/classifier/Simplify.lisp rwxr-x--- 11506/7004 11610 Dec 11 05:20 1992 colab/RFM/classifier/absyn-macro.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/RFM/codegenerator/ rwxr-x--- 11506/7004 1431 Dec 11 05:20 1992 colab/RFM/codegenerator/assocf.lisp rwxr-x--- 11506/7004 29710 Dec 11 05:20 1992 colab/RFM/codegenerator/cg5.lisp rwxr-x--- 11506/7004 12459 Dec 11 05:20 1992 colab/RFM/codegenerator/instr.lisp rwxr-x--- 11506/7004 4323 Dec 11 05:20 1992 colab/RFM/codegenerator/misc.lisp rwxr-x--- 11506/7004 20653 Dec 11 05:20 1992 colab/RFM/codegenerator/absynt.lisp rwxr-x--- 11506/7004 35917 Dec 11 05:20 1992 colab/RFM/codegenerator/cgis.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:20 1992 colab/RFM/demo/ rwxr-x--- 11506/7004 453 Dec 11 05:20 1992 colab/RFM/demo/demostruc.bat rwxr-x--- 11506/7004 185 Dec 11 05:20 1992 colab/RFM/demo/demostruc.rf rwxr-x--- 11506/7004 1660 Dec 11 05:20 1992 colab/RFM/demo/demostruc.script rwxr-x--- 11506/7004 626 Dec 11 05:20 1992 colab/RFM/demo/fac.rf rwxr-x--- 11506/7004 172 Dec 11 05:20 1992 colab/RFM/demo/hgh.rf rwxr-x--- 11506/7004 359 Dec 11 05:20 1992 colab/RFM/demo/lisp-evaluate.bat rwxr-x--- 11506/7004 70 Dec 11 05:20 1992 colab/RFM/demo/lisp-evaluate.rf rwxr-x--- 11506/7004 418 Dec 11 05:20 1992 colab/RFM/demo/prop-log.bat rwxr-x--- 11506/7004 636 Dec 11 05:20 1992 colab/RFM/demo/prop-log.rf rwxr-x--- 11506/7004 1994 Dec 11 05:20 1992 colab/RFM/demo/prop-log.script rwxr-x--- 11506/7004 154 Dec 11 05:20 1992 colab/RFM/demo/share.rf rwxr-x--- 11506/7004 66 Dec 11 05:20 1992 colab/RFM/demo/tupcns.rf rwxr-x--- 11506/7004 25 Dec 11 05:20 1992 colab/RFM/demo/wait.bat rwxr-x--- 11506/7004 28 Dec 11 05:20 1992 colab/RFM/demo/wait.rf rwxrwxrwx 11506/7004 0 Dec 11 05:20 1992 colab/RFM/demo/bench/ rwxr-x--- 11506/7004 325 Dec 11 05:20 1992 colab/RFM/demo/bench/nrev.rf rwxrwxrwx 11506/7004 0 Dec 11 05:20 1992 colab/RFM/demo/drlh/ rwxr-x--- 11506/7004 1123 Dec 11 05:20 1992 colab/RFM/demo/drlh/drlh.bat rwxr-x--- 11506/7004 9341 Dec 11 05:20 1992 colab/RFM/demo/drlh/drlh.script rwxr-x--- 11506/7004 153 Dec 11 05:20 1992 colab/RFM/demo/drlh/e-load-all.bat rwxr-x--- 11506/7004 1111 Dec 11 05:20 1992 colab/RFM/demo/drlh/e-tst.script rwxr-x--- 11506/7004 961 Dec 11 05:20 1992 colab/RFM/demo/drlh/emul.rf rwxr-x--- 11506/7004 104 Dec 11 05:20 1992 colab/RFM/demo/drlh/load-all.bat rwxr-x--- 11506/7004 4262 Dec 11 05:20 1992 colab/RFM/demo/drlh/norm.rf rwxr-x--- 11506/7004 1940 Dec 11 05:20 1992 colab/RFM/demo/drlh/partslist.rf rwxr-x--- 11506/7004 2235 Dec 11 05:20 1992 colab/RFM/demo/drlh/path.rf rwxr-x--- 11506/7004 1538 Dec 11 05:20 1992 colab/RFM/demo/drlh/predrlh.rf rwxr-x--- 11506/7004 10558 Dec 11 05:20 1992 colab/RFM/demo/drlh/proc.rf rwxr-x--- 11506/7004 1813 Dec 11 05:20 1992 colab/RFM/demo/drlh/samples.rf rwxr-x--- 11506/7004 222 Dec 11 05:20 1992 colab/RFM/demo/drlh/unpack.rf rwxrwxrwx 11506/7004 0 Dec 11 05:20 1992 colab/RFM/demo/exa/ rwxr-x--- 11506/7004 116 Dec 11 05:20 1992 colab/RFM/demo/exa/akk.rf rwxr-x--- 11506/7004 2718 Dec 11 05:20 1992 colab/RFM/demo/exa/analogy.compilable.rf rwxr-x--- 11506/7004 186 Dec 11 05:20 1992 colab/RFM/demo/exa/bench.rf rwxr-x--- 11506/7004 181 Dec 11 05:20 1992 colab/RFM/demo/exa/bench1.rf rwxr-x--- 11506/7004 179 Dec 11 05:20 1992 colab/RFM/demo/exa/bench2.rf rwxr-x--- 11506/7004 515 Dec 11 05:20 1992 colab/RFM/demo/exa/demo.rf rwxr-x--- 11506/7004 2598 Dec 11 05:20 1992 colab/RFM/demo/exa/demo1.rf rwxr-x--- 11506/7004 2973 Dec 11 05:20 1992 colab/RFM/demo/exa/demo2.rf rwxr-x--- 11506/7004 5200 Dec 11 05:20 1992 colab/RFM/demo/exa/demo3.rf rwxr-x--- 11506/7004 5174 Dec 11 05:20 1992 colab/RFM/demo/exa/demo4.rf rwxr-x--- 11506/7004 5324 Dec 11 05:20 1992 colab/RFM/demo/exa/demo5.rf rwxr-x--- 11506/7004 6912 Dec 11 05:20 1992 colab/RFM/demo/exa/demo6.rf rwxr-x--- 11506/7004 151 Dec 11 05:20 1992 colab/RFM/demo/exa/example2.rf rwxr-x--- 11506/7004 193 Dec 11 05:20 1992 colab/RFM/demo/exa/fehler.rf rwxr-x--- 11506/7004 118 Dec 11 05:20 1992 colab/RFM/demo/exa/fun6.rf rwxr-x--- 11506/7004 122 Dec 11 05:20 1992 colab/RFM/demo/exa/gcd.rf rwxr-x--- 11506/7004 147 Dec 11 05:20 1992 colab/RFM/demo/exa/occur-check.rf rwxr-x--- 11506/7004 309 Dec 11 05:20 1992 colab/RFM/demo/exa/palin.asm rwxr-x--- 11506/7004 742 Dec 11 05:20 1992 colab/RFM/demo/exa/palin.bat rwxr-x--- 11506/7004 843 Dec 11 05:20 1992 colab/RFM/demo/exa/palin.rf rwxr-x--- 11506/7004 9506 Dec 11 05:20 1992 colab/RFM/demo/exa/palin.script rwxr-x--- 11506/7004 9125 Dec 11 05:20 1992 colab/RFM/demo/exa/palin.script2 rwxr-x--- 11506/7004 637 Dec 11 05:20 1992 colab/RFM/demo/exa/qsort.rf rwxr-x--- 11506/7004 1694 Dec 11 05:20 1992 colab/RFM/demo/exa/quick.rf rwxr-x--- 11506/7004 2152 Dec 11 05:20 1992 colab/RFM/demo/exa/test.extend.l rwxr-x--- 11506/7004 6542 Dec 11 05:20 1992 colab/RFM/demo/exa/test.l rwxr-x--- 11506/7004 169 Dec 11 05:20 1992 colab/RFM/demo/exa/test.rf rwxr-x--- 11506/7004 175 Dec 11 05:20 1992 colab/RFM/demo/exa/test2.rf rwxr-x--- 11506/7004 6832 Dec 11 05:20 1992 colab/RFM/demo/exa/testinst.rf rwxr-x--- 11506/7004 1259 Dec 11 05:20 1992 colab/RFM/demo/exa/wang.rf rwxr-x--- 11506/7004 1118 Dec 11 05:20 1992 colab/RFM/demo/exa/wangaux.rf rwxr-x--- 11506/7004 1640 Dec 11 05:20 1992 colab/RFM/demo/exa/wangtree.rf rwxr-x--- 11506/7004 7522 Dec 11 05:20 1992 colab/RFM/demo/exa/workpiece rwxr-x--- 11506/7004 13887 Dec 11 05:20 1992 colab/RFM/demo/exa/workpiece-tup-lhs-flat.rf rwxr-x--- 11506/7004 1139 Dec 11 05:20 1992 colab/RFM/demo/exa/workpiece.bat rwxr-x--- 11506/7004 7726 Dec 11 05:20 1992 colab/RFM/demo/exa/workpiece.rf rwxr-x--- 11506/7004 4241 Dec 11 05:20 1992 colab/RFM/demo/exa/workpiece.script rwxr-x--- 11506/7004 8262 Dec 11 05:20 1992 colab/RFM/demo/exa/wp-demo-bin.rf rwxr-x--- 11506/7004 7811 Dec 11 05:20 1992 colab/RFM/demo/exa/wp-demo-bin2.rf rwxr-x--- 11506/7004 7856 Dec 11 05:20 1992 colab/RFM/demo/exa/wp-demo.rf rwxr-x--- 11506/7004 2225 Dec 11 05:20 1992 colab/RFM/demo/exa/wp-demo2.rf rwxr-x--- 11506/7004 7832 Dec 11 05:20 1992 colab/RFM/demo/exa/wpnorm.rf rwxrwxrwx 11506/7004 0 Dec 11 05:20 1992 colab/RFM/demo/extensions/ rwxr-x--- 11506/7004 14662 Dec 11 05:20 1992 colab/RFM/demo/extensions/MegaTest.Scr rwxr-x--- 11506/7004 14621 Dec 11 05:20 1992 colab/RFM/demo/extensions/MegaTest.Script rwxr-x--- 11506/7004 142 Dec 11 05:20 1992 colab/RFM/demo/extensions/attval.rf rwxr-x--- 11506/7004 128 Dec 11 05:20 1992 colab/RFM/demo/extensions/attval.rfp rwxr-x--- 11506/7004 211 Dec 11 05:20 1992 colab/RFM/demo/extensions/genints.rf rwxr-x--- 11506/7004 176 Dec 11 05:20 1992 colab/RFM/demo/extensions/genints.rfp rwxr-x--- 11506/7004 423 Dec 11 05:20 1992 colab/RFM/demo/extensions/inv.rf rwxr-x--- 11506/7004 71 Dec 11 05:20 1992 colab/RFM/demo/extensions/inv.rfp rwxr-x--- 11506/7004 4450 Dec 11 05:20 1992 colab/RFM/demo/extensions/lisp.rf rwxr-x--- 11506/7004 3490 Dec 11 05:20 1992 colab/RFM/demo/extensions/lisp.rfp rwxr-x--- 11506/7004 319 Dec 11 05:20 1992 colab/RFM/demo/extensions/mu-operator.rf rwxr-x--- 11506/7004 281 Dec 11 05:20 1992 colab/RFM/demo/extensions/mu-operator.rfp rwxr-x--- 11506/7004 152 Dec 11 05:20 1992 colab/RFM/demo/extensions/revise.rf rwxr-x--- 11506/7004 125 Dec 11 05:20 1992 colab/RFM/demo/extensions/revise.rfp rwxr-x--- 11506/7004 847 Dec 11 05:20 1992 colab/RFM/demo/extensions/serialisef.rf rwxr-x--- 11506/7004 807 Dec 11 05:20 1992 colab/RFM/demo/extensions/serialisef.rfp rwxr-x--- 11506/7004 887 Dec 11 05:20 1992 colab/RFM/demo/extensions/serialiseg.rfp rwxr-x--- 11506/7004 903 Dec 11 05:20 1992 colab/RFM/demo/extensions/serialiseg.rfp.pair rwxr-x--- 11506/7004 4499 Dec 11 05:20 1992 colab/RFM/demo/extensions/serialiseg.script rwxr-x--- 11506/7004 879 Dec 11 05:20 1992 colab/RFM/demo/extensions/serialiser.rf rwxr-x--- 11506/7004 928 Dec 11 05:20 1992 colab/RFM/demo/extensions/serialiser.rfp rwxr-x--- 11506/7004 1261 Dec 11 05:20 1992 colab/RFM/demo/extensions/wang.rf rwxr-x--- 11506/7004 506 Dec 11 05:20 1992 colab/RFM/demo/extensions/signum.rf rwxr-x--- 11506/7004 427 Dec 11 05:20 1992 colab/RFM/demo/extensions/signum.rfp rwxr-x--- 11506/7004 1344 Dec 11 05:20 1992 colab/RFM/demo/extensions/wang.rfp rwxr-x--- 11506/7004 1661 Dec 11 05:20 1992 colab/RFM/demo/extensions/wangtree.rf rwxr-x--- 11506/7004 1855 Dec 11 05:20 1992 colab/RFM/demo/extensions/wangtree.rfp rwxr-x--- 11506/7004 1302 Dec 11 05:20 1992 colab/RFM/demo/extensions/wangaux.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:20 1992 colab/RFM/demo/findom/ rwxr-x--- 11506/7004 8121 Dec 11 05:20 1992 colab/RFM/demo/findom/fd-exa.rf rwxr-x--- 11506/7004 7456 Dec 11 05:20 1992 colab/RFM/demo/findom/fd.rf rwxrwxrwx 11506/7004 0 Dec 11 05:20 1992 colab/RFM/demo/suites/ rwxr-x--- 11506/7004 318 Dec 11 05:20 1992 colab/RFM/demo/suites/callex.rf rwxr-x--- 11506/7004 745 Dec 11 05:20 1992 colab/RFM/demo/suites/cmlist.rf rwxr-x--- 11506/7004 8403 Dec 11 05:20 1992 colab/RFM/demo/suites/dialog.bat rwxr-x--- 11506/7004 28057 Dec 11 05:20 1992 colab/RFM/demo/suites/dialog.script rwxr-x--- 11506/7004 85 Dec 11 05:20 1992 colab/RFM/demo/suites/fibcut.rf rwxr-x--- 11506/7004 197 Dec 11 05:20 1992 colab/RFM/demo/suites/instex.rf rwxr-x--- 11506/7004 1274 Dec 11 05:20 1992 colab/RFM/demo/suites/lazydiff.rf rwxr-x--- 11506/7004 307 Dec 11 05:20 1992 colab/RFM/demo/suites/mapper.rf rwxrwxrwx 11506/7004 0 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/ rwxr-x--- 11506/7004 2691 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/analogy.rf rwxr-x--- 11506/7004 2690 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/analogy.rf.alt rwxr-x--- 11506/7004 31 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/analogy.rf.mysterioes rwxr-x--- 11506/7004 3725 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/brief-intro.rf rwxr-x--- 11506/7004 3657 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/brief-intro.rf.alt rwxr-x--- 11506/7004 3499 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/brief-intro.rfp rwxr-x--- 11506/7004 2034 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/engin-know.rf rwxr-x--- 11506/7004 2030 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/engin-know.rf.alt rwxr-x--- 11506/7004 2432 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/facfix.rf rwxr-x--- 11506/7004 3901 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/geoparse.rf rwxr-x--- 11506/7004 3849 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/geoparse.rf.alt rwxr-x--- 11506/7004 3863 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/geoparsehn.rf rwxr-x--- 11506/7004 581 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/geoparsel.rf rwxr-x--- 11506/7004 597 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/geoparser.rf rwxr-x--- 11506/7004 5976 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/peri.rf rwxr-x--- 11506/7004 2815 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/solid.rf rwxr-x--- 11506/7004 2586 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/sort.rf rwxr-x--- 11506/7004 2534 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/sort.rf.alt rwxr-x--- 11506/7004 704 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/sort.rfp rwxr-x--- 11506/7004 2002 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/wpnorm-non-ground.rf rwxr-x--- 11506/7004 7822 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/wpnorm.rf rwxr-x--- 11506/7004 7832 Dec 11 05:20 1992 colab/RFM/demo/suites/sampler/wpnorm.rf.alt rwxr-xr-x 11506/7004 5990 Dec 11 05:20 1992 colab/RFM/prelude.asm rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/RFM/index/ rwxr-x--- 11506/7004 2638 Dec 11 05:20 1992 colab/RFM/index/icg.lisp rwxr-x--- 11506/7004 21257 Dec 11 05:20 1992 colab/RFM/index/icl.lisp rwxr-x--- 11506/7004 7353 Dec 11 05:20 1992 colab/RFM/index/iif.lisp rwxr-x--- 11506/7004 9618 Dec 11 05:20 1992 colab/RFM/index/linear.lisp rwxr-x--- 11506/7004 490 Dec 11 05:20 1992 colab/RFM/index/misc-patch.lisp rwxr-x--- 11506/7004 2956 Dec 11 05:20 1992 colab/RFM/index/cg5-patch.lisp rwxr-x--- 11506/7004 2220 Dec 11 05:20 1992 colab/RFM/index/idx.lisp rwxr-xr-x 11506/7004 605 Dec 11 05:20 1992 colab/RFM/index/README rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/RFM/mode-interpreter/ rwxr-x--- 11506/7004 4785 Dec 11 05:20 1992 colab/RFM/mode-interpreter/mode-rfi-interface.lisp rwxr-x--- 11506/7004 34765 Dec 11 05:20 1992 colab/RFM/mode-interpreter/mode-interpreter.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/RFM/normalizer/ rwxr-x--- 11506/7004 4458 Dec 11 05:21 1992 colab/RFM/normalizer/debug.lisp rwxr-x--- 11506/7004 36352 Dec 11 05:21 1992 colab/RFM/normalizer/normalizer.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:23 1992 colab/RFM/relfun/ rwxr-x--- 11506/7004 729 Dec 11 05:21 1992 colab/RFM/relfun/initmh.lisp rwxr-xr-x 11506/7004 88595 Dec 11 05:21 1992 colab/RFM/relfun/rfi.lisp rwxr-x--- 11506/7004 30915 Dec 11 05:21 1992 colab/RFM/relfun/pro2lisp.experimental.lisp rwxr-x--- 11506/7004 20189 Dec 11 05:21 1992 colab/RFM/relfun/patches.old rwxr-x--- 11506/7004 5509 Dec 11 05:21 1992 colab/RFM/relfun/patches.old.2 rwxr-x--- 11506/7004 76 Dec 11 05:21 1992 colab/RFM/relfun/prelude.rf rwxr-xr-x 11506/7004 30405 Dec 11 05:21 1992 colab/RFM/relfun/pro2lisp.lisp rwxr-x--- 11506/7004 1992 Dec 11 05:21 1992 colab/RFM/relfun/solvao.rf rwxr-x--- 11506/7004 479 Dec 11 05:21 1992 colab/RFM/relfun/solverf.rf rwxr-xr-x 11506/7004 29567 Dec 11 05:21 1992 colab/RFM/relfun/lisp2pro.lisp rwxr-xr-x 11506/7004 35732 Dec 11 05:21 1992 colab/RFM/relfun/comment.lisp rwxr-xr-x 11506/7004 12300 Dec 11 05:21 1992 colab/RFM/relfun/patches.lisp rwxr-x--- 11506/7004 397 Dec 11 05:21 1992 colab/RFM/relfun/init.lisp rwxr-x--- 11506/7004 317 Dec 11 05:21 1992 colab/RFM/relfun/lable-test.lisp rwxr-xr-x 11506/7004 3960 Dec 11 05:21 1992 colab/RFM/RFM-system.lisp rwxr-xr-x 11506/7004 1424 Dec 11 05:21 1992 colab/RFM/prelude-for-gama.rf rwxr-xr-x 11506/7004 151 Dec 11 05:21 1992 colab/RFM/prelude-header.asm rwxr-xr-x 11506/7004 76 Dec 11 05:21 1992 colab/RFM/prelude.rf rwxr-xr-x 11506/7004 2816 Dec 11 05:21 1992 colab/RFM/NEW-FEATURES rwxr-xr-x 11506/7004 10433 Dec 11 05:21 1992 colab/RFM/colab-interface.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/taxon/ rwxrwxrwx 11506/7004 0 Dec 11 05:21 1992 colab/taxon/concrete/ rwxr-xr-x 11506/7004 697 Dec 11 05:21 1992 colab/taxon/concrete/get-rules.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/taxon/concrete/ibin/ rwxrwxrwx 11506/7004 0 Dec 11 05:21 1992 colab/taxon/consistency/ r--r--r-- 11506/7004 1113 Dec 11 05:21 1992 colab/taxon/consistency/abstract-predicates.lisp r--r--r-- 11506/7004 519 Dec 11 05:21 1992 colab/taxon/consistency/agreements.lisp r--r--r-- 11506/7004 702 Dec 11 05:21 1992 colab/taxon/consistency/backtracking.lisp r--r--r-- 11506/7004 791 Dec 11 05:21 1992 colab/taxon/consistency/choice-points.lisp r--r--r-- 11506/7004 1245 Dec 11 05:21 1992 colab/taxon/consistency/clash.lisp r--r--r-- 11506/7004 1858 Dec 11 05:21 1992 colab/taxon/consistency/cond-fcts.lisp r--r--r-- 11506/7004 477 Dec 11 05:21 1992 colab/taxon/consistency/control.lisp r--r--r-- 11506/7004 864 Dec 11 05:21 1992 colab/taxon/consistency/copy.lisp r--r--r-- 11506/7004 272 Dec 11 05:21 1992 colab/taxon/consistency/init.lisp r--r--r-- 11506/7004 1179 Dec 11 05:21 1992 colab/taxon/consistency/make-assertions.lisp rwxr-xr-x 11506/7004 7474 Dec 11 05:21 1992 colab/taxon/consistency/make-rules.lisp r--r--r-- 11506/7004 2269 Dec 11 05:21 1992 colab/taxon/consistency/pathrules-for-concs.lisp r--r--r-- 11506/7004 2576 Dec 11 05:21 1992 colab/taxon/consistency/pathrules-for-preds.lisp rwxr-xr-x 11506/7004 2720 Dec 11 05:21 1992 colab/taxon/consistency/predicates.lisp r--r--r-- 11506/7004 1142 Dec 11 05:21 1992 colab/taxon/consistency/print-rule.lisp r--r--r-- 11506/7004 1261 Dec 11 05:21 1992 colab/taxon/consistency/process-stacks.lisp rwxr-xr-x 11506/7004 7658 Dec 11 05:21 1992 colab/taxon/consistency/restrictor-rules.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/taxon/consistency/ibin/ rwxr-xr-x 11506/7004 13222 Dec 11 05:21 1992 colab/taxon/consistency/rules.lisp r--r--r-- 11506/7004 1178 Dec 11 05:21 1992 colab/taxon/consistency/stacks.lisp rwxr-xr-x 11506/7004 1049 Dec 11 05:21 1992 colab/taxon/consistency/types.lisp rwxr-xr-x 11506/7004 5177 Dec 11 05:21 1992 colab/taxon/consistency/concrete-predicates.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:21 1992 colab/taxon/ibin/ rwxrwxrwx 11506/7004 0 Dec 11 05:21 1992 colab/taxon/incr-real-ord/ r--r----- 11506/7004 2999 Dec 11 05:21 1992 colab/taxon/incr-real-ord/print-RO.lisp r--r----- 11506/7004 1689 Dec 11 05:21 1992 colab/taxon/incr-real-ord/propagate-new.lisp r--r----- 11506/7004 1798 Dec 11 05:21 1992 colab/taxon/incr-real-ord/propagate-number-rest.lisp r--r----- 11506/7004 3093 Dec 11 05:21 1992 colab/taxon/incr-real-ord/propagate-number.lisp r--r----- 11506/7004 5791 Dec 11 05:21 1992 colab/taxon/incr-real-ord/propagate-real.lisp r--r----- 11506/7004 7107 Dec 11 05:21 1992 colab/taxon/incr-real-ord/propagate-symbolic.lisp r--r----- 11506/7004 7718 Dec 11 05:21 1992 colab/taxon/incr-real-ord/representation.lisp rwxr-xr-x 11506/7004 6287 Dec 11 05:21 1992 colab/taxon/incr-real-ord/rules.lisp rwxr-xr-x 11506/7004 527 Dec 11 05:21 1992 colab/taxon/incr-real-ord/symbolic-clash.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/taxon/incr-real-ord/ibin/ rwxr-xr-x 11506/7004 936 Dec 11 05:21 1992 colab/taxon/incr-real-ord/make-predicates.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:21 1992 colab/taxon/print-fcts/ r--r--r-- 11506/7004 2317 Dec 11 05:21 1992 colab/taxon/print-fcts/print-fcts.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/taxon/print-fcts/ibin/ rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/taxon/representation/ r--r--r-- 11506/7004 12622 Dec 11 05:21 1992 colab/taxon/representation/abstract.lisp r--r--r-- 11506/7004 9951 Dec 11 05:21 1992 colab/taxon/representation/cnf-representation.lisp r--r--r-- 11506/7004 8806 Dec 11 05:21 1992 colab/taxon/representation/cnf-subsumption.lisp r--r--r-- 11506/7004 812 Dec 11 05:21 1992 colab/taxon/representation/concrete.old rwxr-xr-x 11506/7004 3476 Dec 11 05:21 1992 colab/taxon/representation/constructors2fkts.lisp r--r--r-- 11506/7004 2192 Dec 11 05:21 1992 colab/taxon/representation/deref.lisp r--r--r-- 11506/7004 860 Dec 11 05:21 1992 colab/taxon/representation/generate-cn.lisp r--r--r-- 11506/7004 1019 Dec 11 05:21 1992 colab/taxon/representation/get-function.lisp r--r--r-- 11506/7004 1149 Dec 11 05:21 1992 colab/taxon/representation/object.lisp r--r--r-- 11506/7004 3483 Dec 11 05:21 1992 colab/taxon/representation/print-abstracts.lisp r--r--r-- 11506/7004 2193 Dec 11 05:21 1992 colab/taxon/representation/print-cnf.lisp rwxr-xr-x 11506/7004 18077 Dec 11 05:21 1992 colab/taxon/representation/tr2knf.lisp r--r--r-- 11506/7004 3720 Dec 11 05:21 1992 colab/taxon/representation/unknown.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/taxon/representation/ibin/ rwxr-xr-x 11506/7004 833 Dec 11 05:22 1992 colab/taxon/representation/concrete.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/taxon/subsumption/ r--r--r-- 11506/7004 1337 Dec 11 05:22 1992 colab/taxon/subsumption/make-subs-rules.lisp r--r--r-- 11506/7004 3706 Dec 11 05:22 1992 colab/taxon/subsumption/subs-rules.lisp r--r--r-- 11506/7004 681 Dec 11 05:22 1992 colab/taxon/subsumption/subsumes-weakly.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/taxon/subsumption/ibin/ rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/taxon/RCS/ rwxr-xr-x 11506/7004 2578 Dec 11 05:22 1992 colab/taxon/RCS/col-init-tx.lisp,v rwxr-xr-x 11506/7004 1650 Dec 11 05:22 1992 colab/taxon/RCS/col-rest-tx.lisp,v rwxr-xr-x 11506/7004 1047 Dec 11 05:22 1992 colab/taxon/RCS/help.lisp,v rwxr-xr-x 11506/7004 1194 Dec 11 05:22 1992 colab/taxon/RCS/load-taxon.lisp,v rwxr-xr-x 11506/7004 10889 Dec 11 05:22 1992 colab/taxon/RCS/taxon-system.lisp,v rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/taxon/front-end/ rwxr-x--- 11506/7004 467 Dec 11 05:22 1992 colab/taxon/front-end/a-reasoning.lisp rwxr-x--- 11506/7004 5844 Dec 11 05:22 1992 colab/taxon/front-end/abox-manager.lisp rwxr-xr-x 11506/7004 16084 Dec 11 05:22 1992 colab/taxon/front-end/absynt.lisp rwxr-xr-x 11506/7004 6944 Dec 11 05:22 1992 colab/taxon/front-end/assertion.lisp rwxr-x--- 11506/7004 6851 Dec 11 05:22 1992 colab/taxon/front-end/classify.lisp rwxr-xr-x 11506/7004 5929 Dec 11 05:22 1992 colab/taxon/front-end/graph.lisp rwxr-xr-x 11506/7004 5943 Dec 11 05:22 1992 colab/taxon/front-end/ind-reasoning.lisp rwxr-x--- 11506/7004 7570 Dec 11 05:22 1992 colab/taxon/front-end/define.lisp rwxr-xr-x 11506/7004 2376 Dec 11 05:22 1992 colab/taxon/front-end/draw-hierarchy.lisp rwxr-x--- 11506/7004 3178 Dec 11 05:22 1992 colab/taxon/front-end/draw-objects-on-boards.lisp rwxr-x--- 11506/7004 1953 Dec 11 05:22 1992 colab/taxon/front-end/draw-on-boards.lisp rwxr-x--- 11506/7004 743 Dec 11 05:22 1992 colab/taxon/front-end/exp-asse.lisp rwxr-x--- 11506/7004 1036 Dec 11 05:22 1992 colab/taxon/front-end/exp-pred.lisp rwxr-x--- 11506/7004 1458 Dec 11 05:22 1992 colab/taxon/front-end/filter-graph.lisp rwxr-x--- 11506/7004 316 Dec 11 05:22 1992 colab/taxon/front-end/geto.lisp rwxr-xr-x 11506/7004 1919 Dec 11 05:22 1992 colab/taxon/front-end/retrieval.lisp rwxr-xr-x 11506/7004 237 Dec 11 05:22 1992 colab/taxon/front-end/predicates.lisp rwxr-xr-x 11506/7004 7713 Dec 11 05:22 1992 colab/taxon/front-end/listing.lisp rwxr-x--- 11506/7004 8294 Dec 11 05:22 1992 colab/taxon/front-end/sprims.lisp rwxr-xr-x 11506/7004 2607 Dec 11 05:22 1992 colab/taxon/front-end/tx.lisp rwxr-x--- 11506/7004 2085 Dec 11 05:22 1992 colab/taxon/front-end/push-not.lisp rwxr-xr-x 11506/7004 5748 Dec 11 05:22 1992 colab/taxon/front-end/help-fu.lisp rwxr-x--- 11506/7004 228 Dec 11 05:22 1992 colab/taxon/front-end/ro-predicates.lisp rwxr-x--- 11506/7004 1193 Dec 11 05:22 1992 colab/taxon/front-end/save-load-graph.lisp rwxr-xr-x 11506/7004 1803 Dec 11 05:22 1992 colab/taxon/front-end/switch.lisp rwxr-xr-x 11506/7004 1169 Dec 11 05:22 1992 colab/taxon/front-end/cmds.lisp rwxr-xr-x 11506/7004 9671 Dec 11 05:22 1992 colab/taxon/front-end/tbox-manager.lisp rwxr-x--- 11506/7004 1219 Dec 11 05:22 1992 colab/taxon/front-end/trace.lisp rwxr-xr-x 11506/7004 5247 Dec 11 05:22 1992 colab/taxon/front-end/psgraph.doc rwxrwxrwx 11506/7004 0 Dec 11 05:24 1992 colab/taxon/front-end/ibin/ rwxr-xr-x 11506/7004 5129 Dec 11 05:22 1992 colab/taxon/front-end/colab-access.lisp rwxr-xr-x 11506/7004 18359 Dec 11 05:22 1992 colab/taxon/front-end/psgraph.lisp rwxr-xr-x 11506/7004 4494 Dec 11 05:22 1992 colab/taxon/front-end/subsumption.lisp rwxr-xr-x 11506/7004 2950 Dec 11 05:22 1992 colab/taxon/front-end/tx-signatur.lisp rwxr-xr-x 11506/7004 6492 Dec 11 05:22 1992 colab/taxon/front-end/tax-specific.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/taxon/docu/ rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/taxon/docu/help/ rwxr-xr-x 11506/7004 95 Dec 11 05:22 1992 colab/taxon/docu/help/lo.tex rwxr-xr-x 11506/7004 92 Dec 11 05:22 1992 colab/taxon/docu/help/instance-qm.tex rwxr-xr-x 11506/7004 58 Dec 11 05:22 1992 colab/taxon/docu/help/check-abox.tex rwxr-xr-x 11506/7004 92 Dec 11 05:22 1992 colab/taxon/docu/help/instance.tex rwxr-xr-x 11506/7004 90 Dec 11 05:22 1992 colab/taxon/docu/help/attrpairs.tex rwxr-xr-x 11506/7004 111 Dec 11 05:22 1992 colab/taxon/docu/help/caw.tex rwxr-xr-x 11506/7004 234 Dec 11 05:22 1992 colab/taxon/docu/help/sfam.tex rwxr-xr-x 11506/7004 226 Dec 11 05:22 1992 colab/taxon/docu/help/concept-closure.tex rwxr-xr-x 11506/7004 64 Dec 11 05:22 1992 colab/taxon/docu/help/clear-tbox.tex rwxr-xr-x 11506/7004 52 Dec 11 05:22 1992 colab/taxon/docu/help/get-attr-names.tex rwxr-xr-x 11506/7004 99 Dec 11 05:22 1992 colab/taxon/docu/help/role.tex rwxr-xr-x 11506/7004 111 Dec 11 05:22 1992 colab/taxon/docu/help/attr.tex rwxr-xr-x 11506/7004 160 Dec 11 05:22 1992 colab/taxon/docu/help/prim.tex rwxr-xr-x 11506/7004 349 Dec 11 05:22 1992 colab/taxon/docu/help/ofam.tex rwxr-xr-x 11506/7004 273 Dec 11 05:22 1992 colab/taxon/docu/help/cfam.tex rwxr-xr-x 11506/7004 243 Dec 11 05:22 1992 colab/taxon/docu/help/cpred.tex rwxr-xr-x 11506/7004 503 Dec 11 05:22 1992 colab/taxon/docu/help/asse.tex rwxr-xr-x 11506/7004 173 Dec 11 05:22 1992 colab/taxon/docu/help/conc.tex rwxr-xr-x 11506/7004 314 Dec 11 05:22 1992 colab/taxon/docu/help/l.tex rwxr-xr-x 11506/7004 65 Dec 11 05:22 1992 colab/taxon/docu/help/destroy.tex rwxr-xr-x 11506/7004 67 Dec 11 05:22 1992 colab/taxon/docu/help/def.tex rwxr-xr-x 11506/7004 142 Dec 11 05:22 1992 colab/taxon/docu/help/equi.tex rwxr-xr-x 11506/7004 199 Dec 11 05:22 1992 colab/taxon/docu/help/iaw.tex rwxr-xr-x 11506/7004 173 Dec 11 05:22 1992 colab/taxon/docu/help/instances.tex rwxr-xr-x 11506/7004 93 Dec 11 05:22 1992 colab/taxon/docu/help/indi.tex rwxr-xr-x 11506/7004 114 Dec 11 05:22 1992 colab/taxon/docu/help/get-instance-names.tex rwxr-xr-x 11506/7004 42 Dec 11 05:22 1992 colab/taxon/docu/help/get-role-names.tex rwxr-xr-x 11506/7004 120 Dec 11 05:22 1992 colab/taxon/docu/help/ilo.tex rwxr-xr-x 11506/7004 120 Dec 11 05:22 1992 colab/taxon/docu/help/iup.tex rwxr-xr-x 11506/7004 156 Dec 11 05:22 1992 colab/taxon/docu/help/apred.tex rwxr-xr-x 11506/7004 160 Dec 11 05:22 1992 colab/taxon/docu/help/nospy.tex rwxr-xr-x 11506/7004 33 Dec 11 05:22 1992 colab/taxon/docu/help/lsc.tex rwxr-xr-x 11506/7004 137 Dec 11 05:22 1992 colab/taxon/docu/help/pphi.tex rwxr-xr-x 11506/7004 66 Dec 11 05:22 1992 colab/taxon/docu/help/realizei.tex rwxr-xr-x 11506/7004 98 Dec 11 05:22 1992 colab/taxon/docu/help/rolefi.tex rwxr-xr-x 11506/7004 106 Dec 11 05:22 1992 colab/taxon/docu/help/rolepairs.tex rwxr-xr-x 11506/7004 113 Dec 11 05:22 1992 colab/taxon/docu/help/saw.tex rwxr-xr-x 11506/7004 87 Dec 11 05:22 1992 colab/taxon/docu/help/subs.tex rwxr-xr-x 11506/7004 78 Dec 11 05:22 1992 colab/taxon/docu/help/sati?.tex rwxr-xr-x 11506/7004 515 Dec 11 05:22 1992 colab/taxon/docu/help/switch.tex rwxr-xr-x 11506/7004 151 Dec 11 05:22 1992 colab/taxon/docu/help/spy.tex rwxr-xr-x 11506/7004 112 Dec 11 05:22 1992 colab/taxon/docu/help/shw.tex rwxr-xr-x 11506/7004 72 Dec 11 05:22 1992 colab/taxon/docu/help/up.tex rwxr-xr-x 11506/7004 113 Dec 11 05:22 1992 colab/taxon/docu/help/wrealize.tex rwxr-xr-x 11506/7004 106 Dec 11 05:22 1992 colab/taxon/docu/help/xpairs.tex rwxr-xr-x 11506/7004 190 Dec 11 05:22 1992 colab/taxon/docu/help/drawhi.tex rwxr-xr-x 11506/7004 92 Dec 11 05:22 1992 colab/taxon/docu/help/filter.tex rwxr-xr-x 11506/7004 170 Dec 11 05:22 1992 colab/taxon/docu/help/ihw.tex rwxr-xr-x 11506/7004 171 Dec 11 05:22 1992 colab/taxon/docu/help/dhw.tex rwxr-xr-x 11506/7004 153 Dec 11 05:22 1992 colab/taxon/docu/help/chw.tex rwxr-xr-x 11506/7004 348 Dec 11 05:22 1992 colab/taxon/docu/help/daw.tex rwxr-xr-x 11506/7004 64 Dec 11 05:22 1992 colab/taxon/docu/help/clear-abox.tex rwxr-xr-x 11506/7004 49 Dec 11 05:22 1992 colab/taxon/docu/help/get-concept-names.tex rwxr-xr-x 11506/7004 68 Dec 11 05:22 1992 colab/taxon/docu/help/listing.tex rwxr-xr-x 11506/7004 110 Dec 11 05:22 1992 colab/taxon/docu/help/attrfi.tex rwxr-xr-x 11506/7004 1628 Dec 11 05:22 1992 colab/taxon/docu/help/new-cmds.tex rwxr-xr-x 11506/7004 245 Dec 11 05:22 1992 colab/taxon/docu/help/attrterm.tex rwxr-xr-x 11506/7004 78 Dec 11 05:22 1992 colab/taxon/docu/help/sati-qm.tex rwxr-xr-x 11506/7004 87 Dec 11 05:22 1992 colab/taxon/docu/help/subs-qm.tex rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/taxon/docu/manual/ rwxr-xr-x 11506/7004 259120 Dec 11 05:22 1992 colab/taxon/docu/manual/taxon.ps rwxr-xr-x 11506/7004 51 Dec 11 05:22 1992 colab/taxon/col-rest-tx.lisp rwxr-xr-x 11506/7004 736 Dec 11 05:22 1992 colab/taxon/help.lisp rwxr-xr-x 11506/7004 305 Dec 11 05:22 1992 colab/taxon/load-taxon.lisp rwxr-xr-x 11506/7004 1152 Dec 11 05:22 1992 colab/taxon/col-init-tx.lisp rwxrwxrwx 11506/7004 0 Dec 11 05:22 1992 colab/taxon/demo/ rwxr-xr-x 11506/7004 6765 Dec 11 05:22 1992 colab/taxon/demo/language.script rwxr-xr-x 11506/7004 6015 Dec 11 05:22 1992 colab/taxon/demo/family.col rwxr-xr-x 11506/7004 17757 Dec 11 05:22 1992 colab/taxon/demo/language.ps rwxr-xr-x 11506/7004 17823 Dec 11 05:22 1992 colab/taxon/demo/family.script rwxr-xr-x 11506/7004 4061 Dec 11 05:22 1992 colab/taxon/demo/language.col rwxr-xr-x 11506/7004 5614 Dec 11 05:22 1992 colab/taxon/taxon-system.lisp rwxr-xr-x 11506/7004 8925 Dec 11 05:22 1992 colab/README rw-r--r-- 11506/7004 11532 Dec 11 05:22 1992 colab/lsminusRpunkt rwxr-xr-x 11506/7004 218 Dec 11 05:22 1992 colab/my-colab-init.lisp rw-r--r-- 11506/7004 28700 Dec 11 05:22 1992 colab/lsp2lisp.script rwxr-xr-x 11506/7004 5898 Dec 11 05:22 1992 colab/COPYRIGHT-NOTICES rwxr-xr-x 11506/7004 158 Dec 11 05:22 1992 colab/colab-init.lisp rw-r--r-- 11506/7004 474412 Dec 11 05:22 1992 colab/typescript