| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| utilities.lisp | 1995-06-07 01:34 | 36K | ||
| utilities.acl2 | 1995-06-07 01:34 | 114 | ||
| typed-lists.lisp | 1995-06-07 01:34 | 4.6K | ||
| structures.lisp | 1995-06-07 01:34 | 123K | ||
| structures.acl2 | 1995-06-07 01:34 | 133 | ||
| sets.lisp | 1995-06-07 01:34 | 3.5K | ||
| makefile | 1995-06-07 01:34 | 6.6K | ||
| list-theory.lisp | 1995-06-07 01:34 | 575 | ||
| list-defuns.lisp | 1995-06-07 01:34 | 11K | ||
| list-defthms.lisp | 1995-06-07 01:34 | 21K | ||
| deflist.lisp | 1995-06-07 01:34 | 41K | ||
| deflist.acl2 | 1995-06-07 01:34 | 86 | ||
| define-u-package.lisp | 1995-06-07 01:34 | 139 | ||
| define-structures-pa..> | 1995-06-07 01:34 | 211 | ||
| defalist.lisp | 1995-06-07 01:34 | 30K | ||
| defalist.acl2 | 1995-06-07 01:34 | 87 | ||
| alist-theory.lisp | 1995-06-07 01:34 | 581 | ||
| alist-defuns.lisp | 1995-06-07 01:34 | 6.4K | ||
| alist-defthms.lisp | 1995-06-07 01:34 | 7.8K | ||
| acl2-customization.lisp | 1995-06-07 01:34 | 18 | ||