![[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 | - | ||
| utilities.lisp.gz | 2006-06-08 00:10 | 10K | |
| utilities.acl2.gz | 1998-12-03 14:19 | 144 | |
| structures.lisp.gz | 2004-01-18 15:02 | 24K | |
| structures.acl2.gz | 1998-12-03 14:19 | 138 | |
| set-theory.lisp.gz | 1997-05-19 12:21 | 606 | |
| set-defuns.lisp.gz | 1997-05-19 12:20 | 1.2K | |
| set-defthms.lisp.gz | 1997-05-19 12:20 | 1.7K | |
| number-list-theory.lisp.gz | 1997-05-19 12:20 | 656 | |
| number-list-defuns.lisp.gz | 2000-05-07 09:44 | 1.5K | |
| number-list-defthms.lisp.gz | 2000-05-07 09:48 | 1.2K | |
| memories/ | 2014-07-30 10:09 | - | |
| list-theory.lisp.gz | 1997-05-19 12:19 | 611 | |
| list-defuns.lisp.gz | 2004-04-23 10:53 | 2.8K | |
| list-defthms.lisp.gz | 2001-08-21 11:14 | 7.3K | |
| deflist.lisp.gz | 2005-07-17 13:17 | 9.6K | |
| deflist.acl2.gz | 1998-12-03 14:19 | 123 | |
| define-u-package.lisp.gz | 1997-05-19 12:19 | 658 | |
| define-structures-package.lisp.gz | 2000-06-04 23:06 | 469 | |
| defalist.lisp.gz | 2001-11-08 08:06 | 8.4K | |
| defalist.acl2.gz | 1998-12-03 14:19 | 125 | |
| certify.lsp.gz | 2001-01-01 22:34 | 638 | |
| array1.lisp.gz | 2006-07-01 10:16 | 7.4K | |
| alist-theory.lisp.gz | 1997-05-19 12:18 | 619 | |
| alist-defuns.lisp.gz | 1997-05-19 12:18 | 3.4K | |
| alist-defthms.lisp.gz | 2001-06-18 13:55 | 4.3K | |
| README.gz | 1998-10-05 13:37 | 492 | |
| Makefile.gz | 2005-03-05 17:24 | 488 | |