 |
|
|
|
.. (parent) |
|
d |
rwxr-xr-x |
4,096 |
.sys
|
 |
- |
rw-r--r-- |
1,458 |
acl2-customization.lsp
|
|
- |
rw-r--r-- |
52,237 |
add-equality.lisp
|
|
- |
rw-r--r-- |
1,943 |
assmctrl.lisp
|
|
- |
rw-r--r-- |
32,121 |
assmsp.lisp
|
|
- |
rw-r--r-- |
1,488 |
cert.acl2
|
|
- |
rw-r--r-- |
26,887 |
contradiction-bldr.lisp
|
|
- |
rw-r--r-- |
4,235 |
contradictionp.lisp
|
|
- |
rw-r--r-- |
10,385 |
direct-iff-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
7,935 |
direct-iff-eqtrace.lisp
|
|
- |
rw-r--r-- |
27,703 |
eqdatabasep.lisp
|
|
- |
rw-r--r-- |
9,463 |
eqtrace-arities.lisp
|
|
- |
rw-r--r-- |
18,562 |
eqtrace-compiler.lisp
|
|
- |
rw-r--r-- |
13,539 |
eqtrace-okp.lisp
|
|
- |
rw-r--r-- |
17,452 |
eqtracep.lisp
|
|
- |
rw-r--r-- |
65,427 |
fast.lisp
|
|
- |
rw-r--r-- |
4,861 |
hypbox-arities.lisp
|
|
- |
rw-r--r-- |
7,607 |
hypboxp.lisp
|
|
- |
rw-r--r-- |
9,993 |
negative-iff-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
8,218 |
negative-iff-eqtrace.lisp
|
|
- |
rw-r--r-- |
10,310 |
primary-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
7,839 |
primary-eqtrace.lisp
|
|
- |
rw-r--r-- |
7,994 |
secondary-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
7,921 |
secondary-eqtrace.lisp
|
|
- |
rw-r--r-- |
9,917 |
top.lisp
|
|
- |
rw-r--r-- |
6,404 |
trans1-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
5,480 |
trans2-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
5,435 |
trans3-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
14,887 |
transitivity-eqtraces.lisp
|
|
- |
rw-r--r-- |
15,898 |
try-equiv-database.lisp
|
|
- |
rw-r--r-- |
4,688 |
weakening-eqtrace-bldr.lisp
|
|
- |
rw-r--r-- |
3,950 |
weakening-eqtrace.lisp
|
