| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| LICENSE | 1995-09-03 16:00 | 4.8K | ||
| TAGS | 1995-10-20 04:20 | 156K | ||
| acl2-check.lisp | 1995-03-22 08:33 | 6.3K | ||
| acl2-fns.lisp | 1995-08-05 14:48 | 12K | ||
| acl2-init.lisp | 1995-08-05 18:13 | 24K | ||
| acl2.lisp | 1995-09-05 16:27 | 30K | ||
| akcl-acl2-trace.lisp | 1995-07-03 10:54 | 6.2K | ||
| all-files.txt | 1995-09-07 08:54 | 3.4K | ||
| axioms.lisp | 1995-08-04 09:46 | 766K | ||
| basis.lisp | 1995-08-04 09:28 | 336K | ||
| bdd.lisp | 1995-08-04 17:50 | 163K | ||
| books/ | 2015-05-20 19:18 | - | ||
| defpkgs.lisp | 1995-04-27 08:48 | 3.0K | ||
| defthm.lisp | 1995-10-10 10:28 | 440K | ||
| defuns.lisp | 1995-08-02 09:36 | 386K | ||
| doc/ | 2015-05-20 19:18 | - | ||
| emacs/ | 2015-05-20 19:18 | - | ||
| enable-eval.lisp | 1994-10-02 18:19 | 3.2K | ||
| gcl-patch.lisp | 1995-04-25 07:13 | 1.3K | ||
| history-management.lisp | 1995-08-04 17:21 | 327K | ||
| induct.lisp | 1995-03-08 08:59 | 130K | ||
| init.lsp | 1995-07-20 09:05 | 1.1K | ||
| interface-raw.lisp | 1995-08-05 05:04 | 119K | ||
| interface/ | 2015-05-20 19:18 | - | ||
| ld.lisp | 1995-09-05 16:27 | 213K | ||
| makefile | 1995-09-22 08:47 | 14K | ||
| mcl-acl2-startup.lisp | 1995-08-05 17:18 | 2.8K | ||
| other-events.lisp | 1995-08-15 14:35 | 365K | ||
| other-processes.lisp | 1995-07-25 08:59 | 101K | ||
| p.lisp | 1995-08-15 14:38 | 901 | ||
| proof-checker-a.lisp | 1995-08-02 13:10 | 55K | ||
| proof-checker-b.lisp | 1995-08-04 09:57 | 280K | ||
| proof-checker-pkg.lisp | 1995-03-08 08:58 | 261 | ||
| prove.lisp | 1995-08-01 18:57 | 243K | ||
| reports/ | 2015-05-20 19:18 | - | ||
| rewrite.lisp | 1995-08-03 18:02 | 450K | ||
| saved/ | 1996-01-29 03:10 | - | ||
| simplify.lisp | 1995-08-02 06:45 | 213K | ||
| sum-list-example.lisp | 1994-11-05 06:09 | 3.2K | ||
| translate.lisp | 1995-08-02 11:47 | 139K | ||
| tutorial.lisp | 1995-09-05 16:27 | 125K | ||
| type-set-a.lisp | 1995-03-08 08:59 | 21K | ||
| type-set-b.lisp | 1995-08-04 09:28 | 351K | ||