Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
xeval.lisp.gz | 2008-10-13 14:04 | 1.2K | ||
wfftype.lisp.gz | 2008-10-13 14:04 | 1.6K | ||
variables.lisp.gz | 2008-10-13 14:04 | 2.4K | ||
util/ | 2014-08-04 08:27 | - | ||
uc-conj.lisp.gz | 2008-10-13 14:04 | 791 | ||
top.lisp.gz | 2008-10-13 14:04 | 131 | ||
test/ | 2014-08-04 08:27 | - | ||
sugar.lisp.gz | 2008-10-13 14:04 | 2.6K | ||
substitution.lisp.gz | 2008-10-13 14:04 | 1.7K | ||
stage.lisp.gz | 2008-10-13 14:04 | 215 | ||
skolem-top.lisp.gz | 2008-10-13 14:04 | 1.1K | ||
sk-xbuild.lisp.gz | 2008-10-13 14:04 | 3.7K | ||
sk-useless.lisp.gz | 2008-10-13 14:04 | 816 | ||
sk-step.lisp.gz | 2008-10-13 14:04 | 2.4K | ||
sk-step-sound.lisp.gz | 2008-10-13 14:04 | 1.8K | ||
sk-misc-lemmas.lisp.gz | 2008-10-13 14:04 | 1.2K | ||
simultaneous-d.lisp.gz | 2008-10-13 14:04 | 3.8K | ||
simplify.lisp.gz | 2008-10-13 14:04 | 1.0K | ||
simple-check.lisp.gz | 2008-10-13 14:04 | 889 | ||
sets.lisp.gz | 2008-10-13 14:04 | 2.3K | ||
right-assoc.lisp.gz | 2008-10-13 14:04 | 1.4K | ||
resolve.lisp.gz | 2008-10-13 14:04 | 1.8K | ||
rename.lisp.gz | 2008-10-13 14:04 | 1.6K | ||
rename-unique.lisp.gz | 2008-10-13 14:04 | 1.5K | ||
rename-top.lisp.gz | 2008-10-13 14:04 | 383 | ||
rename-sound.lisp.gz | 2008-10-13 14:04 | 644 | ||
pull.lisp.gz | 2008-10-13 14:04 | 1.9K | ||
pull-top.lisp.gz | 2008-10-13 14:04 | 484 | ||
pull-sound.lisp.gz | 2008-10-13 14:04 | 1.7K | ||
pull-pulls.lisp.gz | 2008-10-13 14:04 | 1.5K | ||
prover.lisp.gz | 2008-10-13 14:04 | 889 | ||
prop-subsume.lisp.gz | 2008-10-13 14:04 | 1.1K | ||
permutations.lisp.gz | 2008-10-13 14:04 | 1.6K | ||
paramod.lisp.gz | 2008-10-13 14:04 | 2.8K | ||
nnf.lisp.gz | 2008-10-13 14:04 | 945 | ||
modeler.lisp.gz | 2008-10-13 14:04 | 850 | ||
keval.lisp.gz | 2008-10-13 14:04 | 1.3K | ||
instance.lisp.gz | 2008-10-13 14:04 | 876 | ||
instance-closure.lisp.gz | 2008-10-13 14:04 | 3.7K | ||
gensym-e.lisp.gz | 2008-10-13 14:04 | 1.7K | ||
flip.lisp.gz | 2008-10-13 14:04 | 810 | ||
exercises/ | 2014-08-04 08:27 | - | ||
examples/ | 2014-08-04 08:27 | - | ||
done.gz | 2008-10-13 14:04 | 256 | ||
derive.lisp.gz | 2008-10-13 14:04 | 4.6K | ||
cnf.lisp.gz | 2008-10-13 14:04 | 1.2K | ||
close.lisp.gz | 2008-10-13 14:04 | 2.3K | ||
base.lisp.gz | 2008-10-13 14:04 | 5.7K | ||
arithmetic.lisp.gz | 2008-10-13 14:04 | 207 | ||
arithmetic.lisp.bak.gz | 2008-10-13 14:04 | 221 | ||
alls.lisp.gz | 2008-10-13 14:04 | 1.6K | ||
README.original.gz | 2008-10-13 14:04 | 438 | ||
README.gz | 2008-10-13 14:04 | 620 | ||
Makefile.original.gz | 2008-10-13 14:04 | 230 | ||
Makefile.gz | 2009-07-20 18:13 | 1.3K | ||
Ivy-books.gz | 2008-10-13 14:04 | 280 | ||
Include-graph.ps.gz | 2008-10-13 14:04 | 7.1K | ||
Include-graph.fig.gz | 2008-10-13 14:04 | 1.4K | ||
Certify.lisp.gz | 2008-10-13 14:04 | 355 | ||