 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
1,458 |
acl2-customization.lsp
|
|
- |
rw-r--r-- |
2,639 |
aux-split-negative.lisp
|
|
- |
rw-r--r-- |
2,001 |
basic-if-lemmas.lisp
|
|
- |
rw-r--r-- |
15 |
cert.image
|
|
- |
rw-r--r-- |
4,205 |
contradiction-bldr.lisp
|
|
- |
rw-r--r-- |
2,435 |
contradictionp.lisp
|
|
- |
rw-r--r-- |
1,655 |
crewrite-if-lemmas.lisp
|
|
- |
rw-r--r-- |
1,540 |
crewrite-if-lemmas2.lisp
|
|
- |
rw-r--r-- |
4,187 |
direct-iff-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
3,576 |
direct-iff-eqtrace.lisp
|
|
- |
rw-r--r-- |
1,580 |
disjoined-update-clause-bldr-support.lisp
|
|
- |
rw-r--r-- |
8,806 |
disjoined-update-clause-bldr.lisp
|
|
- |
rw-r--r-- |
7,864 |
eqtrace-compiler.lisp
|
|
- |
rw-r--r-- |
7,172 |
eqtrace-okp.lisp
|
|
- |
rw-r--r-- |
10,910 |
eqtracep.lisp
|
|
- |
rw-r--r-- |
3,473 |
fuse.lisp
|
|
- |
rw-r--r-- |
2,785 |
hypbox-arities.lisp
|
|
- |
rw-r--r-- |
3,256 |
hypboxp.lisp
|
|
- |
rw-r--r-- |
2,382 |
if-lemmas.lisp
|
|
- |
rw-r--r-- |
9,006 |
lambda-1.lisp
|
|
- |
rw-r--r-- |
9,553 |
lambda-2.lisp
|
|
- |
rw-r--r-- |
8,890 |
level5.lisp
|
|
- |
rw-r--r-- |
194 |
make-image.lsp
|
|
- |
rw-r--r-- |
3,747 |
negative-iff-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
3,644 |
negative-iff-eqtrace.lisp
|
|
- |
rw-r--r-- |
4,108 |
primary-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
3,420 |
primary-eqtrace.lisp
|
|
- |
rw-r--r-- |
2,936 |
secondary-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
4,023 |
secondary-eqtrace.lisp
|
|
- |
rwxr-xr-x |
53 |
symmetry
|
|
- |
rw-r--r-- |
2,933 |
trans1-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
2,522 |
trans2-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
2,440 |
trans3-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
4,885 |
transitivity-eqtraces.lisp
|
|
- |
rw-r--r-- |
8,856 |
update-clause-bldr.lisp
|
|
- |
rw-r--r-- |
10,081 |
update-clause-iff-bldr.lisp
|
|
- |
rw-r--r-- |
1,708 |
urewrite-if-lemmas.lisp
|
|
- |
rw-r--r-- |
2,191 |
weakening-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
2,403 |
weakening-eqtrace.lisp
|
