COPYRIGHT-NOTICES*
README*
RFM/
colab-init.lisp*
contax/
forward/
h
lsp2lisp.script
taxon/
top/

RFM:
NEW-FEATURES*
RFM-system.lisp*
aux/
classifier/
codegenerator/
colab-interface.lisp*
demo/
docu/
gama/
index/
mode-interpreter/
normalizer/
prelude-for-gama.rf*
prelude-header.asm*
prelude.asm*
prelude.rf*
relfun/

RFM/aux:
aux.lisp*
our-fs.lisp*

RFM/classifier:
Simplify.lisp*
absyn-macro.lisp*
absyn1.lisp*
absyn2.lisp*
clasPas1.lisp*
clasPas2.lisp*
classify.lisp*
simplify.lisp*

RFM/codegenerator:
absynt.lisp*
assocf.lisp*
cg5.lisp*
cgis.lisp*
instr.lisp*
misc.lisp*

RFM/demo:
bench/
demostruc.bat*
demostruc.rf*
demostruc.script*
drlh/
exa/
extensions/
fac.rf*
findom/
hgh.rf*
lisp-evaluate.bat*
lisp-evaluate.rf*
prop-log.bat*
prop-log.rf*
prop-log.script*
share.rf*
suites/
tupcns.rf*
wait.bat*
wait.rf*

RFM/demo/bench:
nrev.rf*

RFM/demo/drlh:
drlh.bat*
drlh.script*
e-load-all.bat*
e-tst.script*
emul.rf*
load-all.bat*
norm.rf*
partslist.rf*
path.rf*
predrlh.rf*
proc.rf*
samples.rf*
unpack.rf*

RFM/demo/exa:
akk.rf*
analogy.compilable.rf*
bench.rf*
bench1.rf*
bench2.rf*
demo.rf*
demo1.rf*
demo2.rf*
demo3.rf*
demo4.rf*
demo5.rf*
demo6.rf*
example2.rf*
fehler.rf*
fun6.rf*
gcd.rf*
occur-check.rf*
palin.asm*
palin.bat*
palin.rf*
palin.script*
palin.script2*
qsort.rf*
quick.rf*
test.extend.l*
test.l*
test.rf*
test2.rf*
testinst.rf*
wang.rf*
wangaux.rf*
wangtree.rf*
workpiece*
workpiece-tup-lhs-flat.rf*
workpiece.bat*
workpiece.rf*
workpiece.script*
wp-demo-bin.rf*
wp-demo-bin2.rf*
wp-demo.rf*
wp-demo2.rf*
wpnorm.rf*

RFM/demo/extensions:
MegaTest.Scr*
MegaTest.Script*
attval.rf*
attval.rfp*
genints.rf*
genints.rfp*
inv.rf*
inv.rfp*
lisp.rf*
lisp.rfp*
mu-operator.rf*
mu-operator.rfp*
revise.rf*
revise.rfp*
serialisef.rf*
serialisef.rfp*
serialiseg.rfp*
serialiseg.rfp.pair*
serialiseg.script*
serialiser.rf*
serialiser.rfp*
signum.rf*
signum.rfp*
wang.rf*
wang.rfp*
wangaux.lisp*
wangtree.rf*
wangtree.rfp*

RFM/demo/findom:
fd-exa.rf*
fd.rf*

RFM/demo/suites:
callex.rf*
cmlist.rf*
dialog.bat*
dialog.script*
fibcut.rf*
instex.rf*
lazydiff.rf*
mapper.rf*
sampler/

RFM/demo/suites/sampler:
analogy.rf*
analogy.rf.alt*
analogy.rf.mysterioes*
brief-intro.rf*
brief-intro.rf.alt*
brief-intro.rfp*
engin-know.rf*
engin-know.rf.alt*
facfix.rf*
geoparse.rf*
geoparse.rf.alt*
geoparsehn.rf*
geoparsel.rf*
geoparser.rf*
peri.rf*
solid.rf*
sort.rf*
sort.rf.alt*
sort.rfp*
wpnorm-non-ground.rf*
wpnorm.rf*
wpnorm.rf.alt*

RFM/docu:
help/
manual/

RFM/docu/help:
a0.tex*
a0ft.tex*
a0hn.tex*
asm.tex*
assem.tex*
az.tex*
azft.tex*
azhn.tex*
break.tex*
builtins.tex*
bye.tex*
compile.tex*
consult.tex*
deanon.tex*
destroy.tex*
emul.tex*
endscript.tex*
exec.tex*
help.tex*
help2dvi*
help2dvi.tex*
hitrans.tex*
horizon.tex*
indexing.tex*
init.lisp*
inter.tex*
l.tex*
lconsult.tex*
lisp.tex*
listclass.tex*
listcode.tex*
listing.tex*
lreplace.tex*
m.tex*
more.tex*
nospy.tex*
ori.tex*
prelude.tex*
relfun.tex*
replace.tex*
rx.tex*
rxft.tex*
rxhn.tex*
script.tex*
showdepth.tex*
sl.tex*
sp.tex*
spy.tex*
style.tex*
tell.tex*
texhelpfiles*
uncomma.tex*
unlambda.tex*
unmacro.tex*
unor.tex*
untype.tex*
verti.tex*

RFM/docu/manual:
RFM-Manual.ps*
bad-honef.ps*
index.ps*
intro.ps*

RFM/gama:
README*
fw-asm.lisp*
gasm.lisp*
gaux.lisp*
gcla.lisp*
gcompile.lisp*
ginit.lisp*
gmem.lisp*
gmht.lisp*
gwam.lisp*
gwaminit.asm*

RFM/index:
README*
cg5-patch.lisp*
icg.lisp*
icl.lisp*
idx.lisp*
iif.lisp*
linear.lisp*
misc-patch.lisp*

RFM/mode-interpreter:
mode-interpreter.lisp*
mode-rfi-interface.lisp*

RFM/normalizer:
debug.lisp*
normalizer.lisp*

RFM/relfun:
comment.lisp*
init.lisp*
initmh.lisp*
lable-test.lisp*
lisp2pro.lisp*
patches.lisp*
patches.old*
patches.old.2*
prelude.rf*
pro2lisp.experimental.lisp*
pro2lisp.lisp*
rfi.lisp*
solvao.rf*
solverf.rf*

contax:
assistant-functions.lisp*
assistant-macros.lisp*
colab-interface.lisp*
constraint-queues.lisp*
constraints.lisp*
contax-ibin/
contax-sbin/
contax-system.lisp*
control.lisp*
convert-hierarchy.lisp*
debugger.lisp*
defsystem.lisp*
demo/
docu/
hierarchies.lisp*
intervals.lisp*
isai-interface.lisp*
negation.lisp*
our-fs.lisp*
predicates.lisp*
programmer-interface.lisp*
revise.lisp*
start-contax.lisp*
user-interface.lisp*
variables.lisp*

contax/contax-ibin:

contax/contax-sbin:

contax/demo:
4queens.ctx*
5houses.col*
5houses.ctx*
8queens-all.ctx*
8queens.col*
8queens.ctx*
cwpvh.col*
cwpvh.ctx*
slides.col*
slides.ctx*
slides.tax*

contax/docu:
help/
manual/

contax/docu/help:

contax/docu/manual:
install.ps*
manual.ps*

forward:
demo/
docu/
fam/
forward-system.lisp*
fw-access.lisp*
fw-bottomup/
fw-colab-top.lisp*
fw-relfun/

forward/demo:
contour.bat*
contour.rf*
demo.rf*
demotxfw.rf*
forward.script*
hn.rf*
m-tx-parts.rf*
m-wp-truncone.rf*
magic.bat*
magic.script*
mfacts.rf*
mrules.rf*
mrules1.rf*
parteval-db.rf*
parteval-df.rf*
parteval.bat*
partevalc.bat*
rl.rf*
semi-mconc/
semi-tx/
semi.bat*
semi.script*
tx-parts-emul.rf*
wp-facts1.rf*
wp-mcad2nc1.rf*

forward/demo/semi-mconc:
semi-mc.bat*
tx-parts-semimc.rf*
wp-mcad2nc-semimc.rf*

forward/demo/semi-tx:
m-wp-asse.rf*
m-wp-truncone.rf*
micro.tx*
semi-tx-asse.bat*
semi-tx-tc-wd.bat*
semi-tx-tc.bat*
semi-tx.bat*
tx-parts-semitx-asse.rf*
tx-parts-semitx-tc.rf*
tx-parts-semitx-wd.rf*
tx-parts-semitx.rf*
wp-mcad2nc-semitx.rf*

forward/docu:
help/
manual/

forward/docu/help:
a.tex*
afact.tex*
arl.tex*
aup.tex*
az.tex*
azfact.tex*
azrl.tex*
azup.tex*
compile-strategies.tex*
consult-facts.tex*
consult-rules.tex*
consult-strategies.tex*
consult.tex*
destroy-facts.tex*
destroy-magic.tex*
destroy-rules.tex*
destroy.tex*
eval.tex*
fw-compile-facts.tex*
fw-compile-rules.tex*
fw-compile.tex*
fw-emul.tex*
fw-inter.tex*
fw-transform.tex*
help.tex*
helpmask.tex*
hornify-up.tex*
hornify.tex*
l.tex*
list-facts.tex*
list-forward.tex*
list-magic.tex*
list-rules.tex*
list-strategies.tex*
listing.tex*
magic-eval.tex*
magic-query.tex*
magic-semi.tex*
magic-sets.tex*
magic-transform.tex*
nospy.tex*
replace-facts.tex*
replace-rules.tex*
replace-strategies.tex*
replace.tex*
rf-query.tex*
rule-compile.tex*
rx.tex*
rxfact.tex*
rxrl.tex*
rxup.tex*
semi-naive.tex*
split-rules.tex*
spy.tex*

forward/docu/manual:
fw-manual.ps*

forward/fam:
compiler.lisp*
emu.lisp*
emulator.lisp*
interface.asm*
interface.lisp*
start-FAM.lisp*

forward/fw-bottomup:
magic/
semi-naive/

forward/fw-bottomup/magic:
magic-sets.lisp*

forward/fw-bottomup/semi-naive:
semi-naive.lisp*

forward/fw-relfun:
fw-rfe/
fw-rfi/
meta/
strategies/
taxon-interface/

forward/fw-relfun/fw-rfe:
absyn2.patch.lisp*
basic.asm*
changes.lisp*
fc-strat+tx.asm*
fc-strat.asm*
fw-gassem-startup.lisp*
fw-retain-startup.lisp*
instructions.lisp*
interface.asm*
interface.lisp*
procedures.asm*
procedures.lisp*
retain.lisp*
str-taxon.lisp*
strategie-WAM.lisp*
tools.lisp*

forward/fw-relfun/fw-rfi:
fw-horizon-comp.lisp*
fw-retain-admin.lisp*

forward/fw-relfun/meta:
part-eval.lisp*
pe.lisp*

forward/fw-relfun/strategies:
fc-strategies.rf*
fc-tx-strat.rf*
forward-prelude.rf*
tx-additions.rf*

forward/fw-relfun/taxon-interface:
fw-exec.bat*
get-wp.lisp*
instance-name.lisp*
tx-access-with-print.rf*
tx-access.rf*
tx-additions.rf*
tx-p-short.rf*
tx-parts-emul.rf*
tx-parts.data1.rf*
tx-parts.rf*
tx-transformer.lisp*
txa.rf*
wp-facts.rf*
wp-mcad2nc-hoch.rf*
wp-mcad2nc-min-attr.rf*
wp-mcad2nc-short.rf*
wp-mcad2nc-small.rf*
wp-mcad2nc.rf*

taxon:
RCS/
col-init-tx.lisp*
col-rest-tx.lisp*
concrete/
consistency/
demo/
docu/
front-end/
help.lisp*
ibin/
incr-real-ord/
load-taxon.lisp*
print-fcts/
representation/
subsumption/
taxon-system.lisp*

taxon/RCS:
col-init-tx.lisp,v*
col-rest-tx.lisp,v*
help.lisp,v*
load-taxon.lisp,v*
taxon-system.lisp,v*

taxon/concrete:
get-rules.lisp*
ibin/

taxon/concrete/ibin:

taxon/consistency:
abstract-predicates.lisp
agreements.lisp
backtracking.lisp
choice-points.lisp
clash.lisp
concrete-predicates.lisp*
cond-fcts.lisp
control.lisp
copy.lisp
ibin/
init.lisp
make-assertions.lisp
make-rules.lisp*
pathrules-for-concs.lisp
pathrules-for-preds.lisp
predicates.lisp*
print-rule.lisp
process-stacks.lisp
restrictor-rules.lisp*
rules.lisp*
stacks.lisp
types.lisp*

taxon/consistency/ibin:

taxon/demo:
family.col*
family.script*
language.col*
language.ps*
language.script*

taxon/docu:
help/
manual/

taxon/docu/help:
apred.tex*
asse.tex*
attr.tex*
attrfi.tex*
attrpairs.tex*
attrterm.tex*
caw.tex*
cfam.tex*
check-abox.tex*
chw.tex*
clear-abox.tex*
clear-tbox.tex*
conc.tex*
concept-closure.tex*
cpred.tex*
daw.tex*
def.tex*
destroy.tex*
dhw.tex*
drawhi.tex*
equi.tex*
filter.tex*
get-attr-names.tex*
get-concept-names.tex*
get-instance-names.tex*
get-role-names.tex*
iaw.tex*
ihw.tex*
ilo.tex*
indi.tex*
instance-qm.tex*
instance.tex*
instances.tex*
iup.tex*
l.tex*
listing.tex*
lo.tex*
lsc.tex*
new-cmds.tex*
nospy.tex*
ofam.tex*
pphi.tex*
prim.tex*
realizei.tex*
role.tex*
rolefi.tex*
rolepairs.tex*
sati-qm.tex*
sati?.tex*
saw.tex*
sfam.tex*
shw.tex*
spy.tex*
subs-qm.tex*
subs.tex*
switch.tex*
up.tex*
wrealize.tex*
xpairs.tex*

taxon/docu/manual:
taxon.ps*

taxon/front-end:
a-reasoning.lisp*
abox-manager.lisp*
absynt.lisp*
assertion.lisp*
classify.lisp*
cmds.lisp*
colab-access.lisp*
define.lisp*
draw-hierarchy.lisp*
draw-objects-on-boards.lisp*
draw-on-boards.lisp*
exp-asse.lisp*
exp-pred.lisp*
filter-graph.lisp*
geto.lisp*
graph.lisp*
help-fu.lisp*
ibin/
ind-reasoning.lisp*
listing.lisp*
predicates.lisp*
psgraph.doc*
psgraph.lisp*
push-not.lisp*
retrieval.lisp*
ro-predicates.lisp*
save-load-graph.lisp*
sprims.lisp*
subsumption.lisp*
switch.lisp*
tax-specific.lisp*
tbox-manager.lisp*
trace.lisp*
tx-signatur.lisp*
tx.lisp*

taxon/front-end/ibin:

taxon/ibin:

taxon/incr-real-ord:
ibin/
make-predicates.lisp*
print-RO.lisp
propagate-new.lisp
propagate-number-rest.lisp
propagate-number.lisp
propagate-real.lisp
propagate-symbolic.lisp
representation.lisp
rules.lisp*
symbolic-clash.lisp*

taxon/incr-real-ord/ibin:

taxon/print-fcts:
ibin/
print-fcts.lisp

taxon/print-fcts/ibin:

taxon/representation:
abstract.lisp
cnf-representation.lisp
cnf-subsumption.lisp
concrete.lisp*
concrete.old
constructors2fkts.lisp*
deref.lisp
generate-cn.lisp
get-function.lisp
ibin/
object.lisp
print-abstracts.lisp
print-cnf.lisp
tr2knf.lisp*
unknown.lisp

taxon/representation/ibin:

taxon/subsumption:
ibin/
make-subs-rules.lisp
subs-rules.lisp
subsumes-weakly.lisp

taxon/subsumption/ibin:

top:
cmds/
col-keys.lisp*
colab.lisp*
defsystem.lisp*
demo/
demo-break.lisp*
docu/
our-fs.lisp*
patches.lisp*
start-RFM.lisp*
start-colab.lisp*

top/cmds:
clear-RFM*
clear-contax*
clear-forward*

top/demo:
decplan/
mcad2nc/

top/demo/decplan:
abi-decplan.bat*
decplan-subsumption-graph.ps*
decplan.bat*
decplan.col*
decplan.txt*
decplan1.bat*
decplan2.bat*
ext-decplan.bat*
feature-concepts.tx*
feature-rules.rf*
skeletal.rf*
wp-facts.rf*
wp-facts1.rf*

top/demo/mcad2nc:
MICRO.HI*
aa-mcad.bat*
anc-program.rf*
berlin.bat*
brief-intro.rf*
class-feat.rf*
class-feat.rf.beautified*
constdef.lisp*
demo.rf*
demotxfw.rf*
examples.rf*
feat2p.rf*
hybrid.rf*
init.lisp*
inst.ctx*
library.rf*
micro.tx*
micro2.tx*
rfm-only-mcad2nc.script*
rng2p.rf*
skeletal.rf*
start.bat*
starttxfw.bat*
tools.ctx*
tx-access.rf*
tx-additions.rf*
tx-parts-emul.rf*
wp-mcad2nc.rf*
wp3.rf*

top/docu:
help/
manual/

top/docu/help:
?.tex*
back.tex*
cd.tex*
cmds.tex*
cn.tex*
col.tex*
colab.tex*
consult.tex*
contax.tex*
destroy.tex*
exec.tex*
forward.tex*
fw.tex*
help.tex*
lisp.tex*
listing.tex*
pwd.tex*
relfun.tex*
reload.tex*
replace.tex*
rf.tex*
rfe.tex*
rfi.tex*
tables.tex*
taxon.tex*
tx.tex*
version.tex*

top/docu/manual:
toplevel.ps*
