![[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 | - | ||
| use-by-hint.lisp.gz | 2009-09-04 12:45 | 1.1K | |
| term-patterns.lisp.gz | 2010-06-28 14:23 | 2.1K | |
| replace-impl.lisp.gz | 2008-10-20 19:02 | 1.5K | |
| replace-defined-consts.lisp.gz | 2009-09-04 11:48 | 2.0K | |
| replace-defined-consts.acl2.gz | 2009-02-03 08:40 | 125 | |
| nvalues-thms.lisp.gz | 2009-10-30 17:31 | 2.4K | |
| null-fail-hints.lisp.gz | 2008-10-13 14:02 | 637 | |
| multi-env-trick.lisp.gz | 2009-09-04 11:48 | 4.6K | |
| join-thms.lisp.gz | 2009-12-18 10:29 | 1.6K | |
| generalize.lisp.gz | 2009-09-04 11:48 | 3.9K | |
| generalize.acl2.gz | 2008-10-13 14:02 | 108 | |
| ev-theoremp.lisp.gz | 2010-06-28 14:23 | 2.0K | |
| equality.lisp.gz | 2008-10-13 14:02 | 2.5K | |
| decomp-hint.lisp.gz | 2009-09-04 11:48 | 2.3K | |
| bv-add.lisp.gz | 2008-10-13 14:02 | 2.0K | |
| bv-add-tests.lisp.gz | 2009-10-26 17:10 | 1.4K | |
| bv-add-common.lisp.gz | 2008-10-13 14:02 | 283 | |
| basic-examples.lisp.gz | 2010-06-26 19:41 | 5.5K | |
| basic-examples.acl2.gz | 2010-06-14 21:42 | 107 | |
| SULFA/ | 2014-08-04 08:27 | - | |
| Readme.lsp.gz | 2010-06-28 14:23 | 1.9K | |
| Makefile.gz | 2008-10-20 19:02 | 871 | |