![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile.gz | 2005-04-01 15:02 | 3.0K | |
| README.gz | 2003-09-25 22:17 | 208 | |
| add3-proofs.lisp.gz | 2004-02-29 16:44 | 2.1K | |
| add3.lisp.gz | 2003-09-23 18:19 | 363 | |
| all-ones.lisp.gz | 2005-03-28 17:40 | 244 | |
| ash.lisp.gz | 2003-09-08 17:02 | 610 | |
| away-proofs.lisp.gz | 2005-03-29 11:15 | 6.2K | |
| away.lisp.gz | 2003-09-25 00:15 | 2.3K | |
| badguys.lisp.gz | 2004-01-30 10:26 | 541 | |
| bias-proofs.lisp.gz | 2005-03-28 17:44 | 666 | |
| bias.lisp.gz | 2005-03-28 17:44 | 501 | |
| bitn-proofs.lisp.gz | 2005-06-22 16:50 | 5.8K | |
| bitn.lisp.gz | 2005-06-22 16:51 | 4.0K | |
| bits-extra.lisp.gz | 2005-03-31 17:51 | 3.0K | |
| bits-proofs.lisp.gz | 2005-06-22 16:51 | 8.5K | |
| bits-trunc-proofs.lisp.gz | 2003-09-21 16:13 | 758 | |
| bits-trunc.lisp.gz | 2003-09-21 16:14 | 404 | |
| bits.lisp.gz | 2005-06-22 16:51 | 5.4K | |
| bvecp-helpers.lisp.gz | 2006-11-18 11:10 | 1.5K | |
| bvecp-lemmas.lisp.gz | 2006-11-16 08:21 | 1.3K | |
| bvecp-proofs.lisp.gz | 2005-03-28 17:43 | 1.7K | |
| bvecp.lisp.gz | 2005-03-29 11:16 | 1.5K | |
| cat-def.lisp.gz | 2005-06-22 16:51 | 1.0K | |
| cat-proofs.lisp.gz | 2005-06-22 16:51 | 6.3K | |
| cat.lisp.gz | 2005-06-22 16:51 | 4.3K | |
| cert.lsp.gz | 2001-09-16 19:11 | 300 | |
| clocks.lisp.gz | 2005-03-29 11:18 | 1.8K | |
| decode-proofs.lisp.gz | 2003-09-25 21:27 | 456 | |
| decode.lisp.gz | 2003-09-25 17:28 | 382 | |
| drnd.lisp.gz | 2005-03-29 11:19 | 9.8K | |
| encode.lisp.gz | 2005-03-29 11:19 | 1.0K | |
| ereps-proofs.lisp.gz | 2005-03-29 11:19 | 3.4K | |
| ereps.lisp.gz | 2003-09-24 14:35 | 1.4K | |
| fadd.lisp.gz | 2005-03-29 11:19 | 5.0K | |
| fast-and.lisp.gz | 2005-03-29 14:25 | 272 | |
| float.lisp.gz | 2004-11-04 10:33 | 7.7K | |
| ground-zero.lisp.gz | 2003-08-30 13:24 | 164 | |
| guards.lisp.gz | 2005-06-22 17:21 | 642 | |
| ireps.lisp.gz | 2005-03-29 11:20 | 4.7K | |
| land-proofs.lisp.gz | 2005-06-22 16:51 | 3.8K | |
| land.lisp.gz | 2005-06-22 16:51 | 2.6K | |
| lextra-proofs.lisp.gz | 2005-03-29 11:21 | 1.5K | |
| lextra.lisp.gz | 2003-09-21 23:55 | 393 | |
| lior-proofs.lisp.gz | 2005-06-22 16:51 | 2.9K | |
| lior.lisp.gz | 2005-06-22 16:52 | 2.4K | |
| lnot-proofs.lisp.gz | 2005-06-22 16:55 | 3.3K | |
| lnot.lisp.gz | 2005-06-22 16:55 | 1.6K | |
| log-equal.lisp.gz | 2003-06-17 16:35 | 233 | |
| log-proofs.lisp.gz | 2005-06-22 16:52 | 6.0K | |
| log.lisp.gz | 2005-06-22 16:52 | 1.7K | |
| logand-proofs.lisp.gz | 2003-09-21 19:14 | 3.4K | |
| logand.lisp.gz | 2005-03-29 11:23 | 2.5K | |
| logeqv.lisp.gz | 2003-09-12 19:05 | 903 | |
| logior-proofs.lisp.gz | 2003-09-24 15:17 | 3.5K | |
| logior.lisp.gz | 2003-09-21 17:55 | 1.6K | |
| logior1-proofs.lisp.gz | 2003-09-21 16:57 | 219 | |
| logior1.lisp.gz | 2003-09-21 17:00 | 286 | |
| lognot.lisp.gz | 2005-03-29 11:23 | 663 | |
| logorc1.lisp.gz | 2003-06-08 14:15 | 552 | |
| logs.lisp.gz | 2003-09-23 14:32 | 1.1K | |
| logxor.lisp.gz | 2005-03-29 11:23 | 1.4K | |
| lop1-proofs.lisp.gz | 2005-03-29 11:24 | 2.7K | |
| lop1.lisp.gz | 2003-09-23 18:09 | 390 | |
| lop2-proofs.lisp.gz | 2003-09-23 18:10 | 2.1K | |
| lop2.lisp.gz | 2003-09-23 18:19 | 259 | |
| lop3-proofs.lisp.gz | 2003-09-23 18:12 | 5.4K | |
| lop3.lisp.gz | 2003-09-23 18:16 | 845 | |
| lxor-proofs.lisp.gz | 2005-06-22 16:52 | 2.4K | |
| lxor.lisp.gz | 2005-06-22 16:52 | 2.0K | |
| merge.lisp.gz | 2005-03-29 11:25 | 12K | |
| merge2.lisp.gz | 2005-03-29 11:25 | 887 | |
| mod4.lisp.gz | 2003-09-12 18:45 | 1.1K | |
| model-helpers.lisp.gz | 2003-09-17 12:18 | 249 | |
| mulcat-proofs.lisp.gz | 2005-06-22 16:52 | 1.4K | |
| mulcat.lisp.gz | 2005-06-22 16:52 | 1.1K | |
| near+-proofs.lisp.gz | 2004-11-03 15:02 | 4.9K | |
| near+.lisp.gz | 2004-11-03 15:29 | 1.6K | |
| near-proofs.lisp.gz | 2003-09-24 23:44 | 6.8K | |
| near.lisp.gz | 2003-09-25 00:17 | 2.0K | |
| ocat.lisp.gz | 2003-09-12 20:07 | 2.1K | |
| oddr-proofs.lisp.gz | 2003-09-26 00:04 | 2.8K | |
| oddr.lisp.gz | 2003-09-24 15:29 | 1.2K | |
| openers.lisp.gz | 2005-03-29 11:27 | 629 | |
| package-defs.lisp.gz | 2005-01-24 17:02 | 1.0K | |
| rewrite-theory.lisp.gz | 2006-07-05 03:49 | 380 | |
| rnd.lisp.gz | 2005-06-22 16:52 | 5.1K | |
| rom-helpers.lisp.gz | 2003-09-08 13:18 | 357 | |
| rtl.lisp.gz | 2005-06-22 17:43 | 3.6K | |
| rtlarr.lisp.gz | 2005-04-01 16:43 | 3.3K | |
| setbitn-proofs.lisp.gz | 2005-06-22 17:43 | 1.1K | |
| setbitn.lisp.gz | 2005-06-22 17:43 | 813 | |
| setbits-proofs.lisp.gz | 2005-06-22 17:44 | 2.4K | |
| setbits.lisp.gz | 2005-06-22 17:44 | 2.0K | |
| sgn.lisp.gz | 2003-09-12 19:40 | 193 | |
| shft.lisp.gz | 2003-09-08 13:19 | 455 | |
| simple-loop-helpers.lisp.gz | 2003-09-17 12:19 | 1.6K | |
| simplify-model-helpers.lisp.gz | 2005-03-21 10:52 | 577 | |
| stick-proofs.lisp.gz | 2004-12-02 20:57 | 5.3K | |
| stick.lisp.gz | 2004-12-02 20:56 | 507 | |
| sticky-proofs.lisp.gz | 2004-11-04 09:48 | 3.7K | |
| sticky.lisp.gz | 2004-11-04 09:49 | 1.4K | |
| sumbits.lisp.gz | 2004-01-30 10:39 | 541 | |
| top.lisp.gz | 2005-04-01 15:02 | 91 | |
| top1.lisp.gz | 2006-11-18 11:12 | 5.7K | |
| trunc-proofs.lisp.gz | 2005-03-29 11:29 | 5.8K | |
| trunc.lisp.gz | 2003-09-25 00:29 | 2.5K | |
| util.lisp.gz | 2005-03-29 16:07 | 1.3K | |