Index of /debian/acl2/acl2-8.3dfsg/
../
acl2-customization-files/ 16-Apr-2020 14:22 -
bin/ 16-Apr-2020 14:22 -
books/ 16-Apr-2020 14:22 -
debian/ 27-Jan-2021 14:05 -
doc/ 14-Sep-2021 11:51 -
emacs/ 16-Apr-2020 14:22 -
graphics/ 16-Apr-2020 14:22 -
installation/ 16-Apr-2020 14:22 -
GNUmakefile 14-Sep-2021 11:51 35047
LICENSE 16-Apr-2020 14:22 2084
Makefile 16-Apr-2020 14:22 1500
README.md 16-Apr-2020 14:22 5058
acl2-characters 16-Apr-2020 14:22 256
acl2-check.lisp 16-Apr-2020 14:22 16932
acl2-fns.lisp 16-Apr-2020 14:22 93722
acl2-init.lisp 16-Apr-2020 14:22 102449
acl2.lisp 14-Sep-2021 11:51 110155
akcl-acl2-trace.lisp 16-Apr-2020 14:22 8389
all-files.txt 16-Apr-2020 14:22 3489
allegro-acl2-trace.lisp 16-Apr-2020 14:22 10715
apply-constraints.lisp 16-Apr-2020 14:22 13084
apply-prim.lisp 16-Apr-2020 14:22 23431
apply-raw.lisp 16-Apr-2020 14:22 185679
apply.lisp 16-Apr-2020 14:22 119405
axioms.lisp 14-Sep-2021 11:51 1102924
basis-a.lisp 16-Apr-2020 14:22 337557
basis-b.lisp 16-Apr-2020 14:22 177357
bdd.lisp 16-Apr-2020 14:22 134124
boot-strap-pass-2-a.lisp 16-Apr-2020 14:22 48511
boot-strap-pass-2-b.lisp 16-Apr-2020 14:22 36087
build-allegro-exe.cl 16-Apr-2020 14:22 3342
defpkgs.lisp 16-Apr-2020 14:22 31452
defthm.lisp 16-Apr-2020 14:22 539890
defuns.lisp 16-Apr-2020 14:22 524604
doc.lisp 16-Apr-2020 14:22 5477184
futures-raw.lisp 16-Apr-2020 14:22 59443
history-management.lisp 16-Apr-2020 14:22 805595
hons-raw.lisp 16-Apr-2020 14:22 178947
hons.lisp 16-Apr-2020 14:22 10229
induct.lisp 16-Apr-2020 14:22 151703
init.lisp 16-Apr-2020 14:22 4155
interface-raw.lisp 16-Apr-2020 14:22 469547
ld.lisp 16-Apr-2020 14:22 210996
linear-a.lisp 16-Apr-2020 14:22 153504
linear-b.lisp 16-Apr-2020 14:22 44130
mcl-acl2-startup.lisp 16-Apr-2020 14:22 5355
memoize-raw.lisp 16-Apr-2020 14:22 217086
memoize.lisp 16-Apr-2020 14:22 16342
multi-threading-raw.lisp 16-Apr-2020 14:22 43865
new.html 16-Apr-2020 14:22 2096
non-linear.lisp 16-Apr-2020 14:22 41825
openmcl-acl2-trace.lisp 16-Apr-2020 14:22 9243
other-events.lisp 16-Apr-2020 14:22 1421745
other-processes.lisp 16-Apr-2020 14:22 107642
other-releases.html 16-Apr-2020 14:22 5500
parallel-raw.lisp 16-Apr-2020 14:22 61416
parallel.lisp 16-Apr-2020 14:22 41611
proof-builder-a.lisp 16-Apr-2020 14:22 65079
proof-builder-b.lisp 16-Apr-2020 14:22 213264
proof-builder-pkg.lisp 16-Apr-2020 14:22 1087
prove.lisp 16-Apr-2020 14:22 435800
rewrite.lisp 16-Apr-2020 14:22 853649
save-gprof.lsp 16-Apr-2020 14:22 13633
serialize-raw.lisp 16-Apr-2020 14:22 68494
serialize.lisp 16-Apr-2020 14:22 4313
simplify.lisp 16-Apr-2020 14:22 444931
tau.lisp 16-Apr-2020 14:22 583959
translate.lisp 16-Apr-2020 14:22 803893
type-set-a.lisp 16-Apr-2020 14:22 41454
type-set-b.lisp 16-Apr-2020 14:22 563305
workshops.html 16-Apr-2020 14:22 8187