![[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 | 05-Jan-2011 15:54 | 412 | |
| Readme.lsp | 28-Dec-2010 22:33 | 6.3K | |
| acl2x-help-test.acl2 | 05-Jan-2011 15:54 | 46 | |
| acl2x-help-test.lisp | 05-Jan-2011 15:54 | 651 | |
| acl2x-help.lisp | 19-Mar-2011 17:40 | 7.3K | |
| assert-check-include-1.acl2 | 20-Sep-2010 19:29 | 104 | |
| assert-check-include-1.lisp | 20-Sep-2010 19:29 | 299 | |
| assert-check-include.lisp | 20-Sep-2010 19:29 | 214 | |
| assert-check.lisp | 20-Sep-2010 19:29 | 2.2K | |
| assert-include.acl2 | 20-Sep-2010 19:29 | 53 | |
| assert-include.lisp | 20-Sep-2010 19:29 | 305 | |
| assert.lisp | 20-Sep-2010 19:29 | 3.7K | |
| basic-check.lisp | 20-Sep-2010 19:29 | 1.5K | |
| basic-pkg-check.acl2 | 20-Sep-2010 19:29 | 170 | |
| basic-pkg-check.lisp | 20-Sep-2010 19:29 | 429 | |
| basic-pkg.acl2 | 20-Sep-2010 19:29 | 153 | |
| basic-pkg.lisp | 20-Sep-2010 19:29 | 443 | |
| basic.lisp | 20-Sep-2010 19:29 | 1.7K | |
| defconst-fast-examples.lisp | 20-Sep-2010 19:29 | 805 | |
| defconst-fast.lisp | 20-Sep-2010 19:29 | 743 | |
| defrefine.lisp | 20-Sep-2010 19:29 | 15K | |
| defrule.lisp | 24-May-2011 12:05 | 2.9K | |
| defspec.lisp | 20-Sep-2010 19:29 | 17K | |
| dotimes.lisp | 26-Feb-2011 16:28 | 3.7K | |
| double-cert-test-1.acl2 | 05-Jan-2011 15:54 | 105 | |
| double-cert-test-1.lisp | 04-Jan-2011 21:36 | 241 | |
| double-cert-test.lisp | 30-Nov-2010 13:13 | 85 | |
| embeddable-event-forms.lisp | 20-Sep-2010 19:29 | 617 | |
| eval-check-tests.lisp | 20-Sep-2010 19:29 | 3.6K | |
| eval-check.lisp | 28-Apr-2011 18:26 | 2.6K | |
| eval-tests.lisp | 20-Sep-2010 19:29 | 3.7K | |
| eval.lisp | 28-Apr-2011 17:49 | 2.7K | |
| gen-defthm-check.lisp | 20-Sep-2010 19:29 | 2.4K | |
| gen-defthm.lisp | 20-Sep-2010 19:29 | 3.0K | |
| gen-defun-check.lisp | 20-Sep-2010 19:29 | 2.6K | |
| gen-defun.lisp | 20-Sep-2010 19:29 | 3.0K | |
| inline-book.lisp | 19-Mar-2011 15:16 | 6.1K | |
| local-elided-include.lisp | 19-Mar-2011 16:21 | 5.2K | |
| local-elided.lisp | 20-Sep-2010 19:29 | 1.8K | |
| local-requires-skip-check-include.lisp | 19-Mar-2011 16:24 | 1.0K | |
| local-requires-skip-check.lisp | 20-Sep-2010 19:29 | 1.3K | |
| logical-tangent.lisp | 20-Sep-2010 19:29 | 1.7K | |
| macros-include.lisp | 19-Mar-2011 16:25 | 3.8K | |
| macros-skip-proofs-include.acl2 | 20-Sep-2010 19:29 | 67 | |
| macros-skip-proofs-include.lisp | 20-Sep-2010 19:29 | 1.8K | |
| macros-skip-proofs.acl2 | 20-Sep-2010 19:29 | 59 | |
| macros-skip-proofs.lisp | 20-Sep-2010 19:29 | 1.0K | |
| macros.lisp | 20-Sep-2010 19:29 | 2.1K | |
| make-redundant.lisp | 20-Sep-2010 19:29 | 1.0K | |
| nested-check.lisp | 20-Sep-2010 19:29 | 1.7K | |
| nested.lisp | 20-Sep-2010 19:29 | 1.2K | |
| portcullis-expansion-include.acl2 | 20-Sep-2010 19:29 | 328 | |
| portcullis-expansion-include.lisp | 20-Sep-2010 19:29 | 597 | |
| portcullis-expansion.acl2 | 20-Sep-2010 19:29 | 1.3K | |
| portcullis-expansion.lisp | 20-Sep-2010 19:29 | 3.3K | |
| proof-by-arith.lisp | 10-Nov-2010 15:19 | 6.1K | |
| read-from-file-data-mod.lsp | 20-Sep-2010 19:29 | 10 | |
| read-from-file-data.lsp | 20-Sep-2010 19:29 | 10 | |
| read-from-file.lisp | 20-Sep-2010 19:29 | 3.8K | |
| require-book.lisp | 19-Mar-2011 15:17 | 8.3K | |
| stobj-test.acl2 | 05-Jan-2011 15:54 | 41 | |
| stobj-test.lisp | 30-Nov-2010 13:13 | 1.6K | |
| test-case-check.lisp | 20-Sep-2010 19:29 | 924 | |
| test-case.lisp | 20-Sep-2010 19:29 | 1.0K | |