![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/compressed.gif) | test-case.lisp.gz | 2008-10-13 14:02 | 473 | |
| test-case-check.lisp.gz | 2008-10-13 14:02 | 439 | |
| stobj-test.lisp.gz | 2008-10-13 14:02 | 653 | |
| require-book.lisp.gz | 2009-04-14 11:41 | 2.2K | |
| read-from-file.lisp.gz | 2009-11-28 09:30 | 1.1K | |
| read-from-file-data.lsp.gz | 2008-10-13 14:02 | 54 | |
| read-from-file-data-mod.lsp.gz | 2008-10-13 14:02 | 58 | |
| proof-by-arith.lisp.gz | 2010-05-20 23:14 | 1.8K | |
| portcullis-expansion.lisp.gz | 2008-10-13 14:02 | 711 | |
| portcullis-expansion.acl2.gz | 2008-10-13 14:02 | 335 | |
| portcullis-expansion-include.lisp.gz | 2008-10-13 14:02 | 307 | |
| portcullis-expansion-include.acl2.gz | 2008-10-13 14:02 | 241 | |
| nested.lisp.gz | 2008-10-13 14:02 | 391 | |
| nested-check.lisp.gz | 2009-03-09 20:31 | 438 | |
| make-redundant.lisp.gz | 2009-03-16 15:29 | 540 | |
| macros.lisp.gz | 2008-10-13 14:02 | 697 | |
| macros-skip-proofs.lisp.gz | 2008-10-13 14:02 | 337 | |
| macros-skip-proofs.acl2.gz | 2008-10-13 14:02 | 94 | |
| macros-skip-proofs-include.lisp.gz | 2008-10-13 14:02 | 526 | |
| macros-skip-proofs-include.acl2.gz | 2008-10-13 14:02 | 109 | |
| macros-include.lisp.gz | 2008-10-13 14:02 | 790 | |
| logical-tangent.lisp.gz | 2008-10-13 14:02 | 957 | |
| local-requires-skip-check.lisp.gz | 2008-10-13 14:02 | 471 | |
| local-requires-skip-check-include.lisp.gz | 2008-10-13 14:02 | 422 | |
| local-elided.lisp.gz | 2008-10-13 14:02 | 434 | |
| local-elided-include.lisp.gz | 2008-10-13 14:02 | 1.0K | |
| inline-book.lisp.gz | 2010-08-27 11:34 | 1.8K | |
| gen-defun.lisp.gz | 2008-10-13 14:02 | 1.2K | |
| gen-defun-check.lisp.gz | 2008-10-13 14:02 | 1.0K | |
| gen-defthm.lisp.gz | 2008-10-13 14:02 | 1.0K | |
| gen-defthm-check.lisp.gz | 2008-10-13 14:02 | 721 | |
| eval.lisp.gz | 2008-10-13 14:02 | 732 | |
| eval-tests.lisp.gz | 2008-10-13 14:02 | 1.4K | |
| eval-check.lisp.gz | 2008-10-13 14:02 | 652 | |
| eval-check-tests.lisp.gz | 2008-10-13 14:02 | 1.4K | |
| embeddable-event-forms.lisp.gz | 2008-10-13 14:02 | 326 | |
| dotimes.lisp.gz | 2008-10-13 14:02 | 1.0K | |
| defspec.lisp.gz | 2008-10-13 14:02 | 5.8K | |
| defrefine.lisp.gz | 2008-10-13 14:02 | 4.6K | |
| defconst-fast.lisp.gz | 2008-10-13 14:02 | 452 | |
| defconst-fast-examples.lisp.gz | 2008-10-13 14:02 | 412 | |
| basic.lisp.gz | 2008-10-13 14:02 | 668 | |
| basic-pkg.lisp.gz | 2008-10-13 14:02 | 268 | |
| basic-pkg.acl2.gz | 2008-10-13 14:02 | 156 | |
| basic-pkg-check.lisp.gz | 2008-10-13 14:02 | 255 | |
| basic-pkg-check.acl2.gz | 2008-10-13 14:02 | 173 | |
| basic-check.lisp.gz | 2008-10-13 14:02 | 589 | |
| assert.lisp.gz | 2009-09-10 21:23 | 1.3K | |
| assert-include.lisp.gz | 2008-10-13 14:02 | 238 | |
| assert-include.acl2.gz | 2008-10-13 14:02 | 91 | |
| assert-check.lisp.gz | 2008-10-13 14:02 | 944 | |
| assert-check-include.lisp.gz | 2008-10-13 14:02 | 187 | |
| assert-check-include-1.lisp.gz | 2008-10-13 14:02 | 227 | |
| assert-check-include-1.acl2.gz | 2010-03-23 12:48 | 137 | |
| Readme.lsp.gz | 2009-03-13 17:57 | 2.3K | |
| Makefile.gz | 2009-03-13 17:54 | 213 | |
|
|---|