Index of /debian/acl2/acl2-8.3dfsg/books/system/
../
apply/ 16-Apr-2020 14:22 -
doc/ 16-Apr-2020 14:22 -
hons-check/ 16-Apr-2020 14:22 -
parallel/ 16-Apr-2020 14:22 -
pcert/ 16-Apr-2020 14:22 -
tests/ 16-Apr-2020 14:22 -
toothbrush/ 16-Apr-2020 14:22 -
Readme.lsp 16-Apr-2020 14:22 1516
acl2-system-exports.acl2 16-Apr-2020 14:22 2409
acl2-system-exports.lisp 16-Apr-2020 14:22 1419
all-fnnames.lisp 16-Apr-2020 14:22 400
bind-macro-args.lisp 16-Apr-2020 14:22 11966
cantor-pairing-bijective.lisp 16-Apr-2020 14:22 5405
case-match.lisp 16-Apr-2020 14:22 1734
check-system-guards-raw.lsp 16-Apr-2020 14:22 4470
check-system-guards.acl2 16-Apr-2020 14:22 48
check-system-guards.lisp 16-Apr-2020 14:22 2366
compare-out-files.lisp 16-Apr-2020 14:22 77822
convert-normalized-term-to-pairs.lisp 16-Apr-2020 14:22 5378
dead-source-code.lisp 16-Apr-2020 14:22 12240
deps-pcert.lisp 16-Apr-2020 14:22 325
event-names.lisp 16-Apr-2020 14:22 4711
extend-pathname.lisp 16-Apr-2020 14:22 3987
f-put-global.lisp 16-Apr-2020 14:22 6828
fancy-string-reader-test.lisp 16-Apr-2020 14:22 2296
fmx-cw.lisp 16-Apr-2020 14:22 6251
hl-addr-combine.lisp 16-Apr-2020 14:22 18926
hl-nat-combine-onto.acl2 16-Apr-2020 14:22 121
hl-nat-combine-onto.lisp 16-Apr-2020 14:22 5527
kestrel.lisp 16-Apr-2020 14:22 5417
legal-variablep.lisp 16-Apr-2020 14:22 3449
merge-sort-symbol-lt.lisp 16-Apr-2020 14:22 1052
merge-sort-term-order.lisp 16-Apr-2020 14:22 2481
meta-extract.lisp 16-Apr-2020 14:22 387
observation1-cw.lisp 16-Apr-2020 14:22 606
obviously-equiv-terms.lisp 16-Apr-2020 14:22 45893
optimize-check-aux.lisp 16-Apr-2020 14:22 2062
optimize-check.lisp 16-Apr-2020 14:22 2460
origin.acl2 16-Apr-2020 14:22 45
origin.lisp 16-Apr-2020 14:22 3345
pseudo-command-formp.lisp 16-Apr-2020 14:22 625
pseudo-command-landmarkp.lisp 16-Apr-2020 14:22 1109
pseudo-event-form-listp.lisp 16-Apr-2020 14:22 617
pseudo-event-formp.lisp 16-Apr-2020 14:22 1313
pseudo-event-landmarkp.lisp 16-Apr-2020 14:22 2120
pseudo-good-worldp.lisp 16-Apr-2020 14:22 114921
pseudo-termp-lemmas.lisp 16-Apr-2020 14:22 1635
pseudo-tests-and-calls-listp.lisp 16-Apr-2020 14:22 665
pseudo-tests-and-callsp.lisp 16-Apr-2020 14:22 995
random.lisp 16-Apr-2020 14:22 4204
remove-guard-holders-lemmas.lisp 16-Apr-2020 14:22 3220
remove-guard-holders.lisp 16-Apr-2020 14:22 995
subcor-var.lisp 16-Apr-2020 14:22 4193
sublis-var.lisp 16-Apr-2020 14:22 4000
subst-expr.lisp 16-Apr-2020 14:22 2755
subst-var.lisp 16-Apr-2020 14:22 2457
termp.lisp 16-Apr-2020 14:22 10670
to-do.txt 16-Apr-2020 14:22 28632
too-many-ifs.acl2 16-Apr-2020 14:22 252
too-many-ifs.lisp 16-Apr-2020 14:22 4065
toothbrush-deps.lisp 16-Apr-2020 14:22 395
top.lisp 16-Apr-2020 14:22 2014
untranslate-car-cdr.lisp 16-Apr-2020 14:22 25002
update-state.lisp 16-Apr-2020 14:22 33404
verified-termination-and-guards.lisp 16-Apr-2020 14:22 6453
worldp-check.acl2 16-Apr-2020 14:22 409
worldp-check.lisp 16-Apr-2020 14:22 596