arithmetic.lisp
sets.lisp
permutations.lisp
base.lisp
xeval.lisp
variables.lisp
alls.lisp
wfftype.lisp
stage.lisp
keval.lisp
close.lisp
resolve.lisp
paramod.lisp
flip.lisp
prop-subsume.lisp
gensym-e.lisp
instance.lisp
instance-closure.lisp
substitution.lisp
simultaneous-d.lisp
uc-conj.lisp
derive.lisp
simple-check.lisp
cnf.lisp
right-assoc.lisp
nnf.lisp
simplify.lisp
rename.lisp
rename-sound.lisp
rename-unique.lisp
rename-top.lisp
pull.lisp
pull-sound.lisp
pull-pulls.lisp
pull-top.lisp
sk-misc-lemmas.lisp
sk-useless.lisp
sk-step.lisp
sk-xbuild.lisp
sk-step-sound.lisp
skolem-top.lisp
prover.lisp
modeler.lisp
top.lisp
sugar.lisp
