| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| structures.lisp | 1997-05-19 06:27 | 131K | ||
| deflist.lisp | 1997-05-19 05:56 | 42K | ||
| utilities.lisp | 1997-05-19 06:27 | 36K | ||
| defalist.lisp | 1997-05-19 06:27 | 30K | ||
| list-defthms.lisp | 1997-05-19 06:27 | 21K | ||
| list-defuns.lisp | 1997-05-19 05:57 | 12K | ||
| alist-defthms.lisp | 1997-05-19 06:26 | 8.3K | ||
| alist-defuns.lisp | 1997-05-19 06:27 | 6.9K | ||
| makefile | 1995-10-27 11:58 | 6.6K | ||
| typed-lists.lisp | 1997-05-19 05:57 | 5.0K | ||
| sets.lisp | 1997-05-19 05:57 | 4.0K | ||
| define-structures-pa..> | 1997-05-19 05:55 | 2.1K | ||
| alist-theory.lisp | 1997-05-19 05:54 | 1.0K | ||
| list-theory.lisp | 1997-05-19 06:27 | 1.0K | ||
| define-u-package.lisp | 1997-05-19 06:27 | 1.0K | ||
| structures.acl2 | 1996-04-30 09:53 | 133 | ||
| utilities.acl2 | 1995-10-27 11:58 | 114 | ||
| defalist.acl2 | 1995-10-27 11:58 | 87 | ||
| deflist.acl2 | 1995-10-27 11:58 | 86 | ||
| acl2-customization.lisp | 1995-10-27 11:58 | 18 | ||