![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| SULFA/ | 10-Jan-2011 04:02 | - | |
| Makefile | 20-Sep-2010 19:28 | 1.7K | |
| Readme.lsp | 11-Nov-2010 15:11 | 4.8K | |
| autohide.acl2 | 11-Nov-2010 15:11 | 62 | |
| autohide.lisp | 11-Nov-2010 15:11 | 15K | |
| basic-examples.acl2 | 20-Sep-2010 19:28 | 70 | |
| basic-examples.lisp | 20-Sep-2010 19:28 | 31K | |
| bv-add-common.lisp | 20-Sep-2010 19:28 | 648 | |
| bv-add-tests.lisp | 20-Sep-2010 19:28 | 5.0K | |
| bv-add.lisp | 20-Sep-2010 19:28 | 8.7K | |
| decomp-hint.lisp | 20-Sep-2010 19:28 | 9.6K | |
| equality.acl2 | 20-Sep-2010 19:28 | 72 | |
| equality.lisp | 20-Sep-2010 19:28 | 14K | |
| ev-theoremp.lisp | 20-Sep-2010 19:28 | 7.7K | |
| generalize.acl2 | 20-Sep-2010 19:28 | 75 | |
| generalize.lisp | 20-Sep-2010 19:28 | 22K | |
| join-thms.lisp | 20-Sep-2010 19:28 | 7.2K | |
| multi-env-trick.lisp | 20-Sep-2010 19:28 | 17K | |
| null-fail-hints.lisp | 20-Sep-2010 19:28 | 1.9K | |
| nvalues-thms.lisp | 20-Sep-2010 19:28 | 12K | |
| replace-defined-consts.acl2 | 20-Sep-2010 19:28 | 86 | |
| replace-defined-consts.lisp | 20-Sep-2010 19:28 | 8.7K | |
| replace-impl.lisp | 20-Sep-2010 19:28 | 6.0K | |
| term-patterns.lisp | 20-Sep-2010 19:28 | 6.6K | |
| unify-subst.acl2 | 20-Sep-2010 19:28 | 76 | |
| unify-subst.lisp | 20-Sep-2010 19:28 | 18K | |
| use-by-hint.lisp | 20-Sep-2010 19:28 | 2.9K | |