![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| MOREDEPS.gz | 2009-04-15 09:54 | 53 | |
| Makefile.gz | 2009-07-20 18:12 | 207 | |
| acl2-count.lisp.gz | 2009-04-15 09:54 | 556 | |
| basic.lisp.gz | 2009-04-26 17:15 | 13K | |
| cert.acl2.gz | 2009-04-26 17:42 | 172 | |
| disjoint.lisp.gz | 2009-04-26 16:50 | 1.0K | |
| find-index.lisp.gz | 2009-04-26 16:50 | 956 | |
| list-defpkg.lsp.gz | 2009-04-15 09:54 | 504 | |
| list-exports.lsp.gz | 2009-04-15 09:54 | 364 | |
| list-top.lisp.gz | 2009-04-15 09:54 | 313 | |
| lists-definitions.lisp.gz | 2009-04-15 09:54 | 22K | |
| listset-induction.lisp.gz | 2009-04-15 09:54 | 811 | |
| map-cons.lisp.gz | 2009-04-26 16:50 | 837 | |
| memberp.lisp.gz | 2009-04-15 09:54 | 2.2K | |
| mixed.lisp.gz | 2009-04-15 09:54 | 306 | |
| mv-nth.lisp.gz | 2009-04-15 09:54 | 567 | |
| nth-and-update-nth.lisp.gz | 2009-04-15 09:54 | 6.1K | |
| nth-meta.lisp.gz | 2009-04-15 09:54 | 1.2K | |
| nth-meta2.lisp.gz | 2009-04-15 09:54 | 1.0K | |
| remove-induction.lisp.gz | 2009-04-15 09:54 | 739 | |
| remove.lisp.gz | 2009-04-15 09:54 | 1.2K | |
| repeat.lisp.gz | 2009-04-15 09:54 | 1.0K | |
| set.lisp.gz | 2009-04-26 16:50 | 2.8K | |
| subsetp.lisp.gz | 2009-04-26 16:50 | 944 | |
| update-nth-array.lisp.gz | 2009-04-15 09:54 | 1.1K | |