![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| LICENSE.gz | 2011-01-10 21:24 | 907 | |
| Makefile.gz | 2011-01-24 08:52 | 110 | |
| acl2-customization.lsp.gz | 2011-01-10 21:24 | 1.1K | |
| cert.acl2.gz | 2011-01-10 21:24 | 636 | |
| defaggregate-opt.acl2.gz | 2011-01-10 21:24 | 677 | |
| defaggregate-opt.lisp.gz | 2011-01-10 21:24 | 856 | |
| defaggregate.lisp.gz | 2011-04-26 07:59 | 12K | |
| defalist-tests.lisp.gz | 2011-01-10 21:24 | 898 | |
| defalist.lisp.gz | 2011-01-10 21:24 | 4.4K | |
| defenum.lisp.gz | 2011-01-10 21:24 | 2.8K | |
| deflist-aux.lisp.gz | 2011-01-10 21:24 | 1.4K | |
| deflist-tests.lisp.gz | 2011-01-10 21:24 | 912 | |
| deflist.lisp.gz | 2011-01-14 09:53 | 5.0K | |
| defmapappend-tests.lisp.gz | 2011-01-10 21:24 | 886 | |
| defmapappend.lisp.gz | 2011-01-11 12:23 | 3.7K | |
| defmvtypes.lisp.gz | 2011-01-11 14:55 | 2.0K | |
| defprojection-tests.acl2.gz | 2011-01-10 21:24 | 681 | |
| defprojection-tests.lisp.gz | 2011-01-10 21:24 | 1.2K | |
| defprojection.lisp.gz | 2011-01-11 13:12 | 4.4K | |
| defsection.lisp.gz | 2011-03-19 14:44 | 3.7K | |
| gpl.txt.gz | 2011-01-10 21:24 | 6.7K | |
| other-packages.lsp.gz | 2011-01-10 21:24 | 739 | |
| package.lsp.gz | 2011-03-19 14:44 | 1.6K | |
| portcullis.acl2.gz | 2011-01-10 21:24 | 674 | |
| portcullis.lisp.gz | 2011-01-14 09:53 | 765 | |
| top-opt.acl2.gz | 2011-01-10 21:24 | 661 | |
| top-opt.lisp.gz | 2011-01-10 21:24 | 658 | |
| top.lisp.gz | 2011-01-11 12:23 | 1.3K | |