Index of /debian/acl2/acl2-8.3dfsg/books/misc/
../
hidden-defpkg-checks/ 16-Apr-2020 14:22 -
misc2/ 16-Apr-2020 14:22 -
README 16-Apr-2020 14:22 24780
arithmetic-top-theory.lisp 16-Apr-2020 14:22 420
assert-tests.lisp 16-Apr-2020 14:22 3241
assert.lisp 16-Apr-2020 14:22 98
bash-bsd.lisp 16-Apr-2020 14:22 463
bash.lisp 16-Apr-2020 14:22 15185
beta-reduce.lisp 16-Apr-2020 14:22 15468
book-checks.lisp 16-Apr-2020 14:22 9521
callers-and-ancestors.lisp 16-Apr-2020 14:22 4576
character-encoding-test.lisp 16-Apr-2020 14:22 1705
check-acl2-exports.lisp 16-Apr-2020 14:22 8479
check-fn-inst.lisp 16-Apr-2020 14:22 2756
check-state.lisp 16-Apr-2020 14:22 2296
computed-hint-rewrite.lisp 16-Apr-2020 14:22 6487
computed-hint.lisp 16-Apr-2020 14:22 16515
congruent-stobjs-test.lisp 16-Apr-2020 14:22 7386
csort.lisp 16-Apr-2020 14:22 16881
dead-events.lisp 16-Apr-2020 14:22 157
defabsstobj-example-1.lisp 16-Apr-2020 14:22 18977
defabsstobj-example-2.lisp 16-Apr-2020 14:22 12012
defabsstobj-example-3.lisp 16-Apr-2020 14:22 13419
defabsstobj-example-4.acl2 16-Apr-2020 14:22 310
defabsstobj-example-4.lisp 16-Apr-2020 14:22 4962
defabsstobj-example-5.lisp 16-Apr-2020 14:22 11794
defattach-bang.lisp 16-Apr-2020 14:22 2583
defattach-example.lisp 16-Apr-2020 14:22 8821
definline.lisp 16-Apr-2020 14:22 2690
defmac.lisp 16-Apr-2020 14:22 6304
defopener.lisp 16-Apr-2020 14:22 22294
defp.lisp 16-Apr-2020 14:22 6074
defpm.lisp 16-Apr-2020 14:22 41578
defproxy-test.acl2 16-Apr-2020 14:22 282
defproxy-test.lisp 16-Apr-2020 14:22 2890
defpun.lisp 16-Apr-2020 14:22 22832
defun-plus.lisp 16-Apr-2020 14:22 11425
dft-ex.acl2 16-Apr-2020 14:22 248
dft-ex.lisp 16-Apr-2020 14:22 4808
dft.lisp 16-Apr-2020 14:22 30763
dijkstra-shortest-path.lisp 16-Apr-2020 14:22 37065
disassemble.acl2 16-Apr-2020 14:22 277
disassemble.lisp 16-Apr-2020 14:22 4435
dump-events.lisp 16-Apr-2020 14:22 5129
eliminate-irrelevance-tests.lisp 16-Apr-2020 14:22 1463
enumerate.lisp 16-Apr-2020 14:22 1898
equal-by-g-help.lisp 16-Apr-2020 14:22 10054
equal-by-g.lisp 16-Apr-2020 14:22 2541
eval-tests.lisp 16-Apr-2020 14:22 1715
eval.lisp 16-Apr-2020 14:22 96
evalable-printing.lisp 16-Apr-2020 14:22 4374
expander-tests.lisp 16-Apr-2020 14:22 1596
expander.lisp 16-Apr-2020 14:22 71071
fast-coerce.lisp 16-Apr-2020 14:22 7311
fibonacci.lisp 16-Apr-2020 14:22 5919
file-io.lisp 16-Apr-2020 14:22 4879
find-lemmas.lisp 16-Apr-2020 14:22 7647
gentle.lisp 16-Apr-2020 14:22 6409
getprop.lisp 16-Apr-2020 14:22 6559
goodstein.lisp 16-Apr-2020 14:22 4569
grcd.lisp 16-Apr-2020 14:22 19195
hanoi.acl2 16-Apr-2020 14:22 588
hanoi.lisp 16-Apr-2020 14:22 12644
hons-help.lisp 16-Apr-2020 14:22 25687
hons-help2.lisp 16-Apr-2020 14:22 1995
hons-tests.lisp 16-Apr-2020 14:22 56072
how-to-prove-thms.lisp 16-Apr-2020 14:22 24057
install-not-normalized-tests.lisp 16-Apr-2020 14:22 11372
install-not-normalized.lisp 16-Apr-2020 14:22 13785
int-division.lisp 16-Apr-2020 14:22 8741
integer-type-set-test.lisp 16-Apr-2020 14:22 1834
invariants.lisp 16-Apr-2020 14:22 11754
meta-lemmas.lisp 16-Apr-2020 14:22 8886
mult.lisp 16-Apr-2020 14:22 35136
multi-v-uni.lisp 16-Apr-2020 14:22 30772
oprof-raw.lsp 16-Apr-2020 14:22 2921
oprof.acl2 16-Apr-2020 14:22 77
oprof.lisp 16-Apr-2020 14:22 3574
pigeonhole.acl2 16-Apr-2020 14:22 339
pigeonhole.lisp 16-Apr-2020 14:22 12789
priorities.lisp 16-Apr-2020 14:22 9451
problem13.lisp 16-Apr-2020 14:22 4748
process-book-readme.lisp 16-Apr-2020 14:22 6065
profiling-raw.lsp 16-Apr-2020 14:22 6199
profiling.acl2 16-Apr-2020 14:22 375
profiling.lisp 16-Apr-2020 14:22 5187
radix.acl2 16-Apr-2020 14:22 388
radix.lisp 16-Apr-2020 14:22 4955
random.lisp 16-Apr-2020 14:22 2543
records-bsd.lisp 16-Apr-2020 14:22 1923
records.lisp 16-Apr-2020 14:22 14107
records0.lisp 16-Apr-2020 14:22 11110
redef-pkg.acl2 16-Apr-2020 14:22 89
redef-pkg.lisp 16-Apr-2020 14:22 17382
rtl-untranslate.lisp 16-Apr-2020 14:22 31530
save-time.lisp 16-Apr-2020 14:22 9914
seq-examples.lsp 16-Apr-2020 14:22 7613
seq.lisp 16-Apr-2020 14:22 24603
seqw-examples.lsp 16-Apr-2020 14:22 8981
seqw.lisp 16-Apr-2020 14:22 14246
simp.lisp 16-Apr-2020 14:22 4222
simplify-defuns.lisp 16-Apr-2020 14:22 43895
simplify-defuns.txt 16-Apr-2020 14:22 18800
simplify-thm.lisp 16-Apr-2020 14:22 1244
sin-cos.lisp 16-Apr-2020 14:22 13336
sort-symbols.lisp 16-Apr-2020 14:22 5525
sticky-disable.lisp 16-Apr-2020 14:22 2372
symbol-btree.lisp 16-Apr-2020 14:22 29008
total-order-bsd.lisp 16-Apr-2020 14:22 427
total-order.acl2 16-Apr-2020 14:22 76
total-order.lisp 16-Apr-2020 14:22 16211
trace-star.lisp 16-Apr-2020 14:22 4778
transfinite.lisp 16-Apr-2020 14:22 3857
untranslate-patterns.lisp 16-Apr-2020 14:22 21583
wet.lisp 16-Apr-2020 14:22 9675
with-waterfall-parallelism.lisp 16-Apr-2020 14:22 2899
without-waterfall-parallelism.lisp 16-Apr-2020 14:22 3135