![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile.gz | 2010-09-20 19:28 | 66 | |
| README.gz | 2010-09-20 19:28 | 493 | |
| Readme.lsp.gz | 2010-09-20 19:28 | 908 | |
| alist-defthms.lisp.gz | 2010-09-20 19:28 | 4.3K | |
| alist-defuns.lisp.gz | 2010-09-20 19:28 | 3.4K | |
| alist-theory.lisp.gz | 2010-09-20 19:28 | 619 | |
| array1.lisp.gz | 2010-09-20 19:28 | 7.4K | |
| defalist.acl2.gz | 2010-09-20 19:28 | 124 | |
| defalist.lisp.gz | 2010-09-20 19:28 | 8.4K | |
| define-structures-package.lsp.gz | 2010-09-20 19:28 | 468 | |
| define-u-package.lsp.gz | 2010-09-20 19:28 | 657 | |
| deflist.acl2.gz | 2010-09-20 19:28 | 123 | |
| deflist.lisp.gz | 2010-09-20 19:28 | 9.6K | |
| list-defthms.lisp.gz | 2010-11-30 13:13 | 7.3K | |
| list-defuns.lisp.gz | 2010-11-08 23:42 | 2.8K | |
| list-theory.lisp.gz | 2010-09-20 19:28 | 611 | |
| memories/ | 2014-08-04 08:29 | - | |
| no-duplicates.lisp.gz | 2010-09-20 19:28 | 1.0K | |
| number-list-defthms.lisp.gz | 2010-09-20 19:28 | 1.2K | |
| number-list-defuns.lisp.gz | 2010-09-20 19:28 | 1.5K | |
| number-list-theory.lisp.gz | 2010-09-20 19:28 | 656 | |
| set-defthms.lisp.gz | 2010-09-20 19:28 | 1.7K | |
| set-defuns.lisp.gz | 2010-09-20 19:28 | 1.1K | |
| set-theory.lisp.gz | 2010-09-20 19:28 | 606 | |
| structures.acl2.gz | 2010-09-20 19:28 | 137 | |
| structures.lisp.gz | 2010-09-20 19:28 | 24K | |
| utilities.acl2.gz | 2010-09-20 19:28 | 143 | |
| utilities.lisp.gz | 2010-10-26 18:14 | 10K | |