![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| memories/ | 01-Sep-2010 04:44 | - | |
| Makefile | 13-Oct-2008 14:03 | 50 | |
| README | 13-Oct-2008 14:03 | 1.2K | |
| alist-defthms.lisp | 13-Oct-2008 14:03 | 26K | |
| alist-defuns.lisp | 13-Oct-2008 14:03 | 18K | |
| alist-theory.lisp | 13-Oct-2008 14:03 | 1.0K | |
| array1.lisp | 13-Oct-2008 14:03 | 31K | |
| defalist.acl2 | 13-Oct-2008 14:03 | 113 | |
| defalist.lisp | 13-Oct-2008 14:03 | 39K | |
| define-structures-package.lsp | 13-Oct-2008 14:03 | 755 | |
| define-u-package.lsp | 13-Oct-2008 14:03 | 1.0K | |
| deflist.acl2 | 13-Oct-2008 14:03 | 112 | |
| deflist.lisp | 13-Oct-2008 14:03 | 47K | |
| list-defthms.lisp | 05-Dec-2009 05:20 | 42K | |
| list-defuns.lisp | 13-Oct-2008 14:03 | 9.8K | |
| list-theory.lisp | 13-Oct-2008 14:03 | 1.0K | |
| number-list-defthms.lisp | 13-Oct-2008 14:03 | 3.1K | |
| number-list-defuns.lisp | 13-Oct-2008 14:03 | 5.2K | |
| number-list-theory.lisp | 13-Oct-2008 14:03 | 1.1K | |
| set-defthms.lisp | 05-Dec-2009 05:20 | 7.9K | |
| set-defuns.lisp | 22-Jun-2010 17:47 | 2.5K | |
| set-theory.lisp | 13-Oct-2008 14:03 | 1.0K | |
| structures.acl2 | 13-Oct-2008 14:03 | 158 | |
| structures.lisp | 11-Sep-2009 12:50 | 92K | |
| utilities.acl2 | 13-Oct-2008 14:03 | 140 | |
| utilities.lisp | 13-Oct-2008 14:03 | 37K | |