| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| embedded-defaxioms/ | 10-Aug-2008 15:07 | - | ||
| Makefile | 22-Jul-2008 14:51 | 4.4K | ||
| Readme.lsp | 22-Jul-2008 14:21 | 6.1K | ||
| assert-check-include-1.acl2 | 17-Dec-2007 09:57 | 85 | ||
| assert-check-include-1.lisp | 17-Dec-2007 09:57 | 299 | ||
| assert-check-include.lisp | 17-Dec-2007 09:57 | 214 | ||
| assert-check.lisp | 17-Dec-2007 09:57 | 2.2K | ||
| assert-include.acl2 | 17-Dec-2007 09:57 | 53 | ||
| assert-include.lisp | 17-Dec-2007 09:57 | 305 | ||
| assert.lisp | 30-Jul-2008 12:07 | 3.7K | ||
| basic-check.lisp | 17-Dec-2007 09:57 | 1.5K | ||
| basic-pkg-check.acl2 | 17-Dec-2007 09:57 | 170 | ||
| basic-pkg-check.lisp | 17-Dec-2007 09:57 | 429 | ||
| basic-pkg.acl2 | 17-Dec-2007 09:57 | 153 | ||
| basic-pkg.lisp | 17-Dec-2007 09:57 | 443 | ||
| basic.lisp | 17-Dec-2007 09:57 | 1.7K | ||
| defconst-fast-examples.lisp | 17-Dec-2007 09:57 | 805 | ||
| defconst-fast.lisp | 22-May-2008 11:58 | 743 | ||
| defrefine.lisp | 17-Dec-2007 09:57 | 15K | ||
| defspec.lisp | 17-Dec-2007 09:57 | 17K | ||
| dotimes.lisp | 17-Dec-2007 09:57 | 2.1K | ||
| embeddable-event-forms.lisp | 13-Jun-2008 12:37 | 617 | ||
| embedded-defaxioms.acl2 | 17-Dec-2007 09:57 | 84 | ||
| embedded-defaxioms.lisp | 17-Dec-2007 09:57 | 3.8K | ||
| eval-check-tests.lisp | 17-Dec-2007 09:57 | 3.6K | ||
| eval-check.lisp | 17-Dec-2007 09:57 | 2.1K | ||
| eval-tests.lisp | 17-Dec-2007 09:57 | 3.7K | ||
| eval.lisp | 17-Dec-2007 09:57 | 2.3K | ||
| gen-defthm-check.lisp | 17-Dec-2007 09:57 | 2.4K | ||
| gen-defthm.lisp | 17-Dec-2007 09:57 | 3.0K | ||
| gen-defun-check.lisp | 17-Dec-2007 09:57 | 2.6K | ||
| gen-defun.lisp | 17-Dec-2007 09:57 | 3.0K | ||
| inline-book.lisp | 30-Jul-2008 13:50 | 4.9K | ||
| local-elided-include.lisp | 13-Jun-2008 12:40 | 5.2K | ||
| local-elided.lisp | 13-Jun-2008 12:38 | 1.8K | ||
| local-requires-skip-check-include.lisp | 17-Dec-2007 09:57 | 1.0K | ||
| local-requires-skip-check.lisp | 17-Dec-2007 09:57 | 1.3K | ||
| logical-tangent.lisp | 17-Dec-2007 09:57 | 1.7K | ||
| macros-include.lisp | 13-Jun-2008 11:41 | 3.8K | ||
| macros-skip-proofs-include.acl2 | 17-Dec-2007 09:57 | 67 | ||
| macros-skip-proofs-include.lisp | 06-Aug-2008 14:47 | 1.8K | ||
| macros-skip-proofs.acl2 | 17-Dec-2007 09:57 | 59 | ||
| macros-skip-proofs.lisp | 17-Dec-2007 09:57 | 1.0K | ||
| macros.lisp | 17-Dec-2007 09:57 | 2.1K | ||
| nested-check.lisp | 17-Dec-2007 09:57 | 1.8K | ||
| nested.lisp | 17-Dec-2007 09:57 | 1.2K | ||
| portcullis-expansion-include.acl2 | 17-Dec-2007 09:57 | 328 | ||
| portcullis-expansion-include.lisp | 17-Dec-2007 09:57 | 597 | ||
| portcullis-expansion.acl2 | 17-Dec-2007 09:57 | 1.3K | ||
| portcullis-expansion.lisp | 17-Dec-2007 09:57 | 3.3K | ||
| proof-by-arith.lisp | 17-Dec-2007 09:57 | 5.0K | ||
| read-from-file-data-mod.lsp | 17-Dec-2007 09:57 | 10 | ||
| read-from-file-data.lsp | 17-Dec-2007 09:57 | 10 | ||
| read-from-file.lisp | 17-Dec-2007 09:57 | 3.3K | ||
| stobj-test.lisp | 17-Dec-2007 09:57 | 1.5K | ||
| test-case-check.lisp | 17-Dec-2007 09:57 | 924 | ||
| test-case.lisp | 17-Dec-2007 09:57 | 1.0K | ||