 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
640 |
Makefile
|
|
- |
rw-r--r-- |
5,615 |
Readme.lsp
|
|
- |
rw-r--r-- |
106 |
acl2x-help-test.acl2
|
|
- |
rw-r--r-- |
580 |
acl2x-help-test.lisp
|
|
- |
rw-r--r-- |
8,401 |
acl2x-help.lisp
|
|
- |
rw-r--r-- |
214 |
assert-check-include.lisp
|
|
- |
rw-r--r-- |
2,975 |
assert-check.lisp
|
|
- |
rw-r--r-- |
220 |
assert-include.acl2
|
|
- |
rw-r--r-- |
488 |
assert-include.lisp
|
|
- |
rw-r--r-- |
1,672 |
basic-check.lisp
|
|
- |
rw-r--r-- |
337 |
basic-pkg-check.acl2
|
|
- |
rw-r--r-- |
594 |
basic-pkg-check.lisp
|
|
- |
rw-r--r-- |
320 |
basic-pkg.acl2
|
|
- |
rw-r--r-- |
608 |
basic-pkg.lisp
|
|
- |
rw-r--r-- |
1,938 |
basic.lisp
|
|
- |
rw-r--r-- |
1,045 |
defconst-fast-examples.lisp
|
|
- |
rw-r--r-- |
968 |
defconst-fast.lisp
|
|
- |
rw-r--r-- |
15,425 |
defrefine.lisp
|
|
- |
rw-r--r-- |
3,067 |
defrule.lisp
|
|
- |
rw-r--r-- |
21,979 |
defspec.lisp
|
|
- |
rw-r--r-- |
4,778 |
dotimes.lisp
|
|
- |
rw-r--r-- |
353 |
double-cert-test-1.acl2
|
|
- |
rw-r--r-- |
406 |
double-cert-test-1.lisp
|
|
- |
rw-r--r-- |
85 |
double-cert-test.lisp
|
|
- |
rw-r--r-- |
616 |
embeddable-event-forms.lisp
|
|
- |
rw-r--r-- |
3,885 |
eval-check-tests.lisp
|
|
- |
rw-r--r-- |
1,943 |
eval-check.lisp
|
|
- |
rw-r--r-- |
4,268 |
eval-tests.lisp
|
|
- |
rw-r--r-- |
2,606 |
gen-defthm-check.lisp
|
|
- |
rw-r--r-- |
3,255 |
gen-defthm.lisp
|
|
- |
rw-r--r-- |
2,816 |
gen-defun-check.lisp
|
|
- |
rw-r--r-- |
3,229 |
gen-defun.lisp
|
|
- |
rw-r--r-- |
6,233 |
inline-book.lisp
|
|
- |
rw-r--r-- |
10,913 |
local-elided-include.lisp
|
|
- |
rw-r--r-- |
2,286 |
local-elided.lisp
|
|
- |
rw-r--r-- |
1,264 |
local-requires-skip-check-include.lisp
|
|
- |
rw-r--r-- |
1,499 |
local-requires-skip-check.lisp
|
|
- |
rw-r--r-- |
1,719 |
logical-tangent.lisp
|
|
- |
rw-r--r-- |
4,211 |
macros-include.lisp
|
|
- |
rw-r--r-- |
289 |
macros-skip-proofs-include.acl2
|
|
- |
rw-r--r-- |
3,993 |
macros-skip-proofs-include.lisp
|
|
- |
rw-r--r-- |
281 |
macros-skip-proofs.acl2
|
|
- |
rw-r--r-- |
1,143 |
macros-skip-proofs.lisp
|
|
- |
rw-r--r-- |
2,365 |
macros.lisp
|
|
- |
rw-r--r-- |
8,184 |
make-event-keywords-or-exp-check.lisp
|
|
- |
rw-r--r-- |
7,900 |
make-event-keywords-or-exp.lisp
|
|
- |
rw-r--r-- |
1,023 |
make-redundant.lisp
|
|
- |
rw-r--r-- |
1,910 |
nested-check.lisp
|
|
- |
rw-r--r-- |
1,295 |
nested.lisp
|
|
- |
rw-r--r-- |
516 |
portcullis-expansion-include.acl2
|
|
- |
rw-r--r-- |
762 |
portcullis-expansion-include.lisp
|
|
- |
rw-r--r-- |
1,527 |
portcullis-expansion.acl2
|
|
- |
rw-r--r-- |
3,608 |
portcullis-expansion.lisp
|
|
- |
rw-r--r-- |
5,791 |
proof-by-arith.lisp
|
|
- |
rw-r--r-- |
10 |
read-from-file-data-mod.lsp
|
|
- |
rw-r--r-- |
10 |
read-from-file-data.lsp
|
|
- |
rw-r--r-- |
4,033 |
read-from-file.lisp
|
|
- |
rw-r--r-- |
8,464 |
require-book.lisp
|
|
- |
rw-r--r-- |
266 |
stobj-test.acl2
|
|
- |
rw-r--r-- |
1,797 |
stobj-test.lisp
|
|
- |
rw-r--r-- |
1,089 |
test-case-check.lisp
|
|
- |
rw-r--r-- |
1,169 |
test-case.lisp
|
