| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| embedded-defaxioms/ | 29-Nov-2006 22:26 | - | ||
| Makefile | 17-Oct-2006 17:11 | 3.8K | ||
| Readme.lsp | 17-Oct-2006 17:19 | 5.6K | ||
| assert-check-include-1.acl2 | 27-May-2006 16:11 | 85 | ||
| assert-check-include-1.lisp | 01-May-2006 10:43 | 299 | ||
| assert-check-include.lisp | 01-May-2006 10:43 | 214 | ||
| assert-check.lisp | 18-Jul-2006 07:28 | 2.2K | ||
| assert-include.acl2 | 29-Apr-2006 10:40 | 53 | ||
| assert-include.lisp | 08-May-2006 15:20 | 305 | ||
| assert.lisp | 26-Oct-2006 17:01 | 3.7K | ||
| basic-check.lisp | 10-May-2006 13:28 | 1.5K | ||
| basic-pkg-check.acl2 | 29-Apr-2006 10:50 | 170 | ||
| basic-pkg-check.lisp | 08-May-2006 10:27 | 429 | ||
| basic-pkg.acl2 | 08-May-2006 10:25 | 153 | ||
| basic-pkg.lisp | 08-May-2006 10:24 | 443 | ||
| basic.lisp | 09-May-2006 04:58 | 1.7K | ||
| defconst-fast-examples.lisp | 11-May-2006 13:50 | 805 | ||
| defconst-fast.lisp | 10-May-2006 17:34 | 599 | ||
| dotimes.lisp | 23-Aug-2006 15:05 | 2.1K | ||
| embedded-defaxioms.acl2 | 05-May-2006 15:18 | 61 | ||
| embedded-defaxioms.lisp | 08-May-2006 15:23 | 3.2K | ||
| eval-check-tests.lisp | 08-May-2006 13:30 | 3.6K | ||
| eval-check.lisp | 08-May-2006 13:24 | 2.1K | ||
| eval-tests.lisp | 08-May-2006 12:14 | 3.7K | ||
| eval.lisp | 08-May-2006 11:47 | 2.2K | ||
| gen-defthm-check.lisp | 08-May-2006 11:46 | 2.4K | ||
| gen-defthm.lisp | 08-May-2006 11:36 | 3.0K | ||
| gen-defun-check.lisp | 08-May-2006 11:15 | 2.6K | ||
| gen-defun.lisp | 08-May-2006 15:10 | 3.0K | ||
| local-requires-skip-check-include.lisp | 09-May-2006 17:49 | 1.0K | ||
| local-requires-skip-check.lisp | 29-Apr-2006 21:59 | 1.3K | ||
| logical-tangent.lisp | 17-Oct-2006 17:10 | 1.7K | ||
| macros-include.lisp | 11-May-2006 13:56 | 3.8K | ||
| macros-skip-proofs-include.acl2 | 03-May-2006 14:49 | 67 | ||
| macros-skip-proofs-include.lisp | 09-May-2006 17:50 | 1.8K | ||
| macros-skip-proofs.acl2 | 03-May-2006 14:50 | 59 | ||
| macros-skip-proofs.lisp | 11-May-2006 13:57 | 1.0K | ||
| macros.lisp | 11-May-2006 13:56 | 2.1K | ||
| nested-check.lisp | 29-Apr-2006 11:02 | 1.8K | ||
| nested.lisp | 08-May-2006 14:46 | 1.2K | ||
| portcullis-expansion-include.acl2 | 03-May-2006 15:33 | 328 | ||
| portcullis-expansion-include.lisp | 03-May-2006 15:33 | 597 | ||
| portcullis-expansion.acl2 | 02-May-2006 17:22 | 1.3K | ||
| portcullis-expansion.lisp | 08-May-2006 14:47 | 3.3K | ||
| proof-by-arith.lisp | 23-Jul-2006 18:04 | 5.0K | ||
| read-from-file-data-mod.lsp | 28-Apr-2006 17:42 | 10 | ||
| read-from-file-data.lsp | 10-May-2006 17:08 | 10 | ||
| read-from-file.lisp | 08-May-2006 15:33 | 3.3K | ||
| stobj-test.lisp | 16-Oct-2006 09:10 | 1.5K | ||
| test-case-check.lisp | 11-May-2006 13:58 | 924 | ||
| test-case.lisp | 11-May-2006 13:59 | 1.0K | ||