![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 13-Mar-2009 17:54 | 412 | |
| Readme.lsp | 13-Mar-2009 17:57 | 5.9K | |
| assert-check-include-1.acl2 | 23-Mar-2010 12:48 | 104 | |
| assert-check-include-1.lisp | 13-Oct-2008 14:02 | 299 | |
| assert-check-include.lisp | 13-Oct-2008 14:02 | 214 | |
| assert-check.lisp | 13-Oct-2008 14:02 | 2.2K | |
| assert-include.acl2 | 13-Oct-2008 14:02 | 53 | |
| assert-include.lisp | 13-Oct-2008 14:02 | 305 | |
| assert.lisp | 10-Sep-2009 21:23 | 3.7K | |
| basic-check.lisp | 13-Oct-2008 14:02 | 1.5K | |
| basic-pkg-check.acl2 | 13-Oct-2008 14:02 | 170 | |
| basic-pkg-check.lisp | 13-Oct-2008 14:02 | 429 | |
| basic-pkg.acl2 | 13-Oct-2008 14:02 | 153 | |
| basic-pkg.lisp | 13-Oct-2008 14:02 | 443 | |
| basic.lisp | 13-Oct-2008 14:02 | 1.7K | |
| defconst-fast-examples.lisp | 13-Oct-2008 14:02 | 805 | |
| defconst-fast.lisp | 13-Oct-2008 14:02 | 743 | |
| defrefine.lisp | 13-Oct-2008 14:02 | 15K | |
| defspec.lisp | 13-Oct-2008 14:02 | 17K | |
| dotimes.lisp | 13-Oct-2008 14:02 | 2.1K | |
| embeddable-event-forms.lisp | 13-Oct-2008 14:02 | 617 | |
| eval-check-tests.lisp | 13-Oct-2008 14:02 | 3.6K | |
| eval-check.lisp | 13-Oct-2008 14:02 | 2.1K | |
| eval-tests.lisp | 13-Oct-2008 14:02 | 3.7K | |
| eval.lisp | 13-Oct-2008 14:02 | 2.3K | |
| gen-defthm-check.lisp | 13-Oct-2008 14:02 | 2.4K | |
| gen-defthm.lisp | 13-Oct-2008 14:02 | 3.0K | |
| gen-defun-check.lisp | 13-Oct-2008 14:02 | 2.6K | |
| gen-defun.lisp | 13-Oct-2008 14:02 | 3.0K | |
| inline-book.lisp | 27-Aug-2010 11:34 | 6.1K | |
| local-elided-include.lisp | 13-Oct-2008 14:02 | 5.2K | |
| local-elided.lisp | 13-Oct-2008 14:02 | 1.8K | |
| local-requires-skip-check-include.lisp | 13-Oct-2008 14:02 | 1.0K | |
| local-requires-skip-check.lisp | 13-Oct-2008 14:02 | 1.3K | |
| logical-tangent.lisp | 13-Oct-2008 14:02 | 1.7K | |
| macros-include.lisp | 13-Oct-2008 14:02 | 3.8K | |
| macros-skip-proofs-include.acl2 | 13-Oct-2008 14:02 | 67 | |
| macros-skip-proofs-include.lisp | 13-Oct-2008 14:02 | 1.8K | |
| macros-skip-proofs.acl2 | 13-Oct-2008 14:02 | 59 | |
| macros-skip-proofs.lisp | 13-Oct-2008 14:02 | 1.0K | |
| macros.lisp | 13-Oct-2008 14:02 | 2.1K | |
| make-redundant.lisp | 16-Mar-2009 15:29 | 1.0K | |
| nested-check.lisp | 09-Mar-2009 20:31 | 1.7K | |
| nested.lisp | 13-Oct-2008 14:02 | 1.2K | |
| portcullis-expansion-include.acl2 | 13-Oct-2008 14:02 | 328 | |
| portcullis-expansion-include.lisp | 13-Oct-2008 14:02 | 597 | |
| portcullis-expansion.acl2 | 13-Oct-2008 14:02 | 1.3K | |
| portcullis-expansion.lisp | 13-Oct-2008 14:02 | 3.3K | |
| proof-by-arith.lisp | 20-May-2010 23:14 | 6.0K | |
| read-from-file-data-mod.lsp | 13-Oct-2008 14:02 | 10 | |
| read-from-file-data.lsp | 13-Oct-2008 14:02 | 10 | |
| read-from-file.lisp | 28-Nov-2009 09:30 | 3.8K | |
| require-book.lisp | 14-Apr-2009 11:41 | 8.3K | |
| stobj-test.lisp | 13-Oct-2008 14:02 | 1.5K | |
| test-case-check.lisp | 13-Oct-2008 14:02 | 924 | |
| test-case.lisp | 13-Oct-2008 14:02 | 1.0K | |