![[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 | - | ||
| Makefile.gz | 2008-10-20 19:02 | 871 | |
| Readme.lsp.gz | 2009-02-23 09:54 | 1.7K | |
| SULFA/ | 2014-08-04 08:27 | - | |
| basic-examples.acl2.gz | 2008-10-13 14:02 | 90 | |
| basic-examples.lisp.gz | 2008-10-13 14:02 | 5.3K | |
| bv-add-common.lisp.gz | 2008-10-13 14:02 | 283 | |
| bv-add-tests.lisp.gz | 2008-10-13 14:02 | 1.2K | |
| bv-add.lisp.gz | 2008-10-13 14:02 | 2.0K | |
| decomp-hint.lisp.gz | 2009-02-24 14:59 | 2.0K | |
| equality.lisp.gz | 2008-10-13 14:02 | 2.5K | |
| generalize.acl2.gz | 2008-10-13 14:02 | 108 | |
| generalize.lisp.gz | 2009-05-29 11:11 | 3.9K | |
| join-thms.lisp.gz | 2008-10-28 21:38 | 779 | |
| multi-env-trick.lisp.gz | 2008-11-03 09:33 | 4.7K | |
| null-fail-hints.lisp.gz | 2008-10-13 14:02 | 637 | |
| replace-defined-consts.acl2.gz | 2009-02-03 08:40 | 125 | |
| replace-defined-consts.lisp.gz | 2009-02-02 16:57 | 2.0K | |
| replace-impl.lisp.gz | 2008-10-20 19:02 | 1.5K | |
| use-by-hint.lisp.gz | 2009-02-02 16:57 | 1.1K | |