![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| memories/ | 2014-08-04 08:25 | - | |
| deflist.acl2.gz | 2007-12-17 09:59 | 123 | |
| defalist.acl2.gz | 2007-12-17 09:59 | 125 | |
| structures.acl2.gz | 2007-12-17 09:59 | 138 | |
| utilities.acl2.gz | 2007-12-17 09:59 | 144 | |
| define-structures-package.lisp.gz | 2007-12-17 09:59 | 469 | |
| Makefile.gz | 2007-12-17 09:59 | 488 | |
| README.gz | 2007-12-17 09:59 | 492 | |
| set-theory.lisp.gz | 2007-12-17 09:59 | 606 | |
| list-theory.lisp.gz | 2007-12-17 09:59 | 611 | |
| alist-theory.lisp.gz | 2007-12-17 09:59 | 619 | |
| certify.lsp.gz | 2007-12-17 09:59 | 638 | |
| number-list-theory.lisp.gz | 2007-12-17 09:59 | 656 | |
| define-u-package.lisp.gz | 2007-12-17 09:59 | 658 | |
| number-list-defthms.lisp.gz | 2007-12-17 09:59 | 1.2K | |
| set-defuns.lisp.gz | 2007-12-17 09:59 | 1.2K | |
| number-list-defuns.lisp.gz | 2007-12-17 09:59 | 1.5K | |
| set-defthms.lisp.gz | 2007-12-17 09:59 | 1.7K | |
| list-defuns.lisp.gz | 2008-02-13 08:02 | 2.8K | |
| alist-defuns.lisp.gz | 2007-12-17 09:59 | 3.4K | |
| alist-defthms.lisp.gz | 2007-12-17 09:59 | 4.3K | |
| list-defthms.lisp.gz | 2007-12-17 09:59 | 7.3K | |
| array1.lisp.gz | 2007-12-17 09:59 | 7.4K | |
| defalist.lisp.gz | 2007-12-17 09:59 | 8.4K | |
| deflist.lisp.gz | 2007-12-17 09:59 | 9.6K | |
| utilities.lisp.gz | 2007-12-17 09:59 | 10K | |
| structures.lisp.gz | 2007-12-17 09:59 | 24K | |