![[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 | - | ||
| replace-impl.lisp.gz | 2010-09-20 19:28 | 1.5K | |
| replace-defined-consts.lisp.gz | 2010-09-20 19:28 | 2.0K | |
| bv-add-common.lisp.gz | 2010-09-20 19:28 | 283 | |
| nvalues-thms.lisp.gz | 2010-09-20 19:28 | 2.4K | |
| replace-defined-consts.acl2.gz | 2010-09-20 19:28 | 125 | |
| unify-subst.lisp.gz | 2010-09-20 19:28 | 3.5K | |
| multi-env-trick.lisp.gz | 2010-09-20 19:28 | 4.6K | |
| ev-theoremp.lisp.gz | 2010-09-20 19:28 | 2.0K | |
| bv-add-tests.lisp.gz | 2010-09-20 19:28 | 1.4K | |
| bv-add.lisp.gz | 2010-09-20 19:28 | 2.0K | |
| equality.lisp.gz | 2010-09-20 19:28 | 3.7K | |
| generalize.acl2.gz | 2010-09-20 19:28 | 108 | |
| unify-subst.acl2.gz | 2010-09-20 19:28 | 110 | |
| use-by-hint.lisp.gz | 2010-09-20 19:28 | 1.1K | |
| term-patterns.lisp.gz | 2010-09-20 19:28 | 2.1K | |
| null-fail-hints.lisp.gz | 2010-09-20 19:28 | 637 | |
| decomp-hint.lisp.gz | 2010-09-20 19:28 | 2.3K | |
| equality.acl2.gz | 2010-09-20 19:28 | 104 | |
| basic-examples.acl2.gz | 2010-09-20 19:28 | 107 | |
| Makefile.gz | 2010-09-20 19:28 | 871 | |
| join-thms.lisp.gz | 2010-09-20 19:28 | 1.6K | |
| autohide.acl2.gz | 2010-11-11 15:11 | 96 | |
| Readme.lsp.gz | 2010-11-11 15:11 | 2.0K | |
| autohide.lisp.gz | 2011-01-12 15:26 | 4.3K | |
| generalize.lisp.gz | 2011-02-14 07:58 | 3.9K | |
| basic-examples.lisp.gz | 2011-02-14 07:58 | 5.6K | |
| SULFA/ | 2014-08-04 08:29 | - | |