addrule
agenda.sfasl
agenda.slisp
allbutlast
build.slisp
CMM
cond1
conde
confusion.agenda
CONT
cont
cplist
inter.slisp
KTEST
Ktest
ktest
LHS
lhs
listp
MEA
mea
name1
name2
otherpeg
parmenides.press
Parmenides.sfasl
parmenides.sfasl
parmenides.slisp
ref
RHS
rhs
rule1
rule2
rulename
rulename1
rulename2
STATEOF
stateof
testnet
trace.mss
trace.sfasl
trace.slisp
varname
WHYNOT
whynot
