![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| TAGS-acl2-doc | 2024-10-10 23:09 | 11M | |
| doc.lisp | 2024-10-10 23:45 | 7.3M | |
| other-events.lisp | 2024-10-10 08:50 | 1.6M | |
| translate.lisp | 2024-10-10 08:50 | 1.2M | |
| axioms.lisp | 2024-10-10 08:50 | 1.1M | |
| rewrite.lisp | 2024-10-10 08:50 | 1.0M | |
| history-management.lisp | 2024-10-10 08:50 | 806K | |
| tau.lisp | 2024-10-10 08:50 | 571K | |
| type-set-b.lisp | 2024-10-10 08:50 | 565K | |
| defuns.lisp | 2024-10-10 08:50 | 564K | |
| defthm.lisp | 2024-10-10 08:50 | 557K | |
| interface-raw.lisp | 2024-10-10 08:50 | 503K | |
| basis-a.lisp | 2024-10-10 08:50 | 450K | |
| simplify.lisp | 2024-10-10 08:50 | 441K | |
| TAGS | 2024-10-10 23:45 | 393K | |
| prove.lisp | 2024-10-10 08:50 | 362K | |
| induct.lisp | 2024-10-10 08:50 | 316K | |
| ld.lisp | 2024-10-10 08:50 | 229K | |
| memoize-raw.lisp | 2024-10-10 08:50 | 214K | |
| proof-builder-b.lisp | 2024-10-10 08:50 | 212K | |
| basis-b.lisp | 2024-10-10 08:50 | 208K | |
| apply-raw.lisp | 2024-10-10 08:50 | 187K | |
| hons-raw.lisp | 2024-10-10 08:50 | 177K | |
| linear-a.lisp | 2024-10-10 08:50 | 150K | |
| apply.lisp | 2024-10-10 08:50 | 147K | |
| bdd.lisp | 2024-10-10 08:50 | 132K | |
| acl2.lisp | 2024-10-10 08:50 | 119K | |
| other-processes.lisp | 2024-10-10 08:50 | 106K | |
| acl2-init.lisp | 2024-10-10 08:50 | 103K | |
| acl2-fns.lisp | 2024-10-10 08:50 | 96K | |
| proof-builder-a.lisp | 2024-10-10 08:50 | 68K | |
| serialize-raw.lisp | 2024-10-10 08:50 | 67K | |
| parallel-raw.lisp | 2024-10-10 08:50 | 60K | |
| futures-raw.lisp | 2024-10-10 08:50 | 57K | |
| boot-strap-pass-2-a.lisp | 2024-10-10 08:50 | 57K | |
| apply-prim.lisp | 2024-10-10 08:50 | 47K | |
| linear-b.lisp | 2024-10-10 08:50 | 43K | |
| multi-threading-raw.lisp | 2024-10-10 08:50 | 43K | |
| non-linear.lisp | 2024-10-10 08:50 | 41K | |
| parallel.lisp | 2024-10-10 08:50 | 41K | |
| type-set-a.lisp | 2024-10-10 08:50 | 40K | |
| GNUmakefile | 2024-10-10 09:04 | 39K | |
| float-a.lisp | 2024-10-10 08:50 | 37K | |
| defpkgs.lisp | 2024-10-10 08:50 | 33K | |
| boot-strap-pass-2-b.lisp | 2024-10-10 08:50 | 31K | |
| memoize.lisp | 2024-10-10 08:50 | 17K | |
| acl2-check.lisp | 2024-10-10 08:50 | 16K | |
| float-b.lisp | 2024-10-10 08:50 | 16K | |
| save-gprof.lsp | 2024-10-10 09:23 | 13K | |
| float-raw.lisp | 2024-10-10 08:50 | 13K | |
| apply-constraints.lisp | 2024-10-10 08:50 | 13K | |
| allegro-acl2-trace.lisp | 2024-10-10 08:50 | 10K | |
| hons.lisp | 2024-10-10 08:50 | 9.3K | |
| openmcl-acl2-trace.lisp | 2024-10-10 08:50 | 8.8K | |
| akcl-acl2-trace.lisp | 2024-10-10 08:50 | 7.8K | |
| workshops.html | 2024-10-10 08:13 | 6.6K | |
| other-releases.html | 2024-10-10 09:20 | 5.9K | |
| mcl-acl2-startup.lisp | 2024-10-10 08:13 | 5.2K | |
| init.lisp | 2024-10-10 08:50 | 4.1K | |
| all-files.txt | 2024-10-10 08:11 | 3.8K | |
| serialize.lisp | 2024-10-10 08:50 | 3.6K | |
| build-allegro-exe.cl | 2024-10-10 08:13 | 3.3K | |
| LICENSE | 2024-10-10 09:03 | 2.0K | |
| new.html | 2024-10-10 09:40 | 1.8K | |
| Makefile | 2024-10-10 08:11 | 1.5K | |
| proof-builder-pkg.lisp | 2024-10-10 08:50 | 1.2K | |
| acl2-characters | 2024-10-10 08:11 | 256 | |
| saved/ | 2024-10-11 21:41 | - | |
| installation/ | 2024-10-11 21:41 | - | |
| graphics/ | 2024-10-11 21:41 | - | |
| emacs/ | 2024-10-11 21:41 | - | |
| doc/ | 2024-10-11 21:41 | - | |
| bin/ | 2024-10-11 21:41 | - | |
| acl2-customization-files/ | 2024-10-11 21:41 | - | |