![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| embedded-defaxioms/ | 05-Nov-2007 21:36 | - | |
| Makefile | 26-Sep-2007 15:33 | 4.0K | |
| Readme.lsp | 26-Sep-2007 15:34 | 5.8K | |
| 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 | |
| defrefine.lisp | 26-Sep-2007 15:32 | 15K | |
| defspec.lisp | 20-Mar-2007 22:04 | 17K | |
| dotimes.lisp | 23-Aug-2006 15:05 | 2.1K | |
| embedded-defaxioms.acl2 | 09-Apr-2007 13:41 | 84 | |
| embedded-defaxioms.lisp | 09-Apr-2007 13:42 | 3.8K | |
| 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 | 20-Jul-2007 15:25 | 2.3K | |
| 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 | |