![[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 | - | ||
| misc2/ | 10-Jan-2011 04:02 | - | |
| Makefile | 22-Oct-2010 07:15 | 360 | |
| README | 28-Dec-2010 22:33 | 21K | |
| bash.lisp | 20-Sep-2010 19:28 | 10K | |
| beta-reduce.lisp | 20-Sep-2010 19:28 | 8.3K | |
| book-thms.lisp | 20-Sep-2010 19:28 | 3.6K | |
| callers-and-ancestors.lisp | 29-Dec-2010 09:46 | 4.3K | |
| check-acl2-exports.lisp | 24-Oct-2010 12:46 | 5.2K | |
| computed-hint-rewrite.lisp | 20-Sep-2010 19:28 | 6.0K | |
| computed-hint.lisp | 20-Sep-2010 19:28 | 17K | |
| csort.lisp | 20-Sep-2010 19:28 | 17K | |
| definline.acl2 | 20-Sep-2010 19:28 | 66 | |
| definline.lisp | 30-Sep-2010 15:30 | 2.2K | |
| defmac.lisp | 20-Sep-2010 19:28 | 5.8K | |
| defopener.lisp | 20-Sep-2010 19:28 | 21K | |
| defp.lisp | 22-Sep-2010 11:49 | 5.8K | |
| defproxy-test.acl2 | 14-Dec-2010 09:40 | 59 | |
| defproxy-test.lisp | 14-Dec-2010 09:49 | 2.6K | |
| defpun.lisp | 20-Sep-2010 19:28 | 19K | |
| dft-ex.acl2 | 20-Sep-2010 19:28 | 63 | |
| dft-ex.lisp | 20-Sep-2010 19:28 | 4.6K | |
| dft.lisp | 20-Sep-2010 19:28 | 29K | |
| dump-events.lisp | 20-Sep-2010 19:28 | 5.5K | |
| evalable-printing.lisp | 20-Sep-2010 19:28 | 4.3K | |
| expander.lisp | 08-Dec-2010 16:13 | 64K | |
| fast-coerce.lisp | 20-Sep-2010 19:28 | 6.6K | |
| fibonacci.lisp | 20-Sep-2010 19:28 | 5.8K | |
| file-io.lisp | 20-Sep-2010 19:28 | 4.0K | |
| find-lemmas.lisp | 20-Sep-2010 19:28 | 2.9K | |
| gentle.lisp | 20-Sep-2010 19:28 | 11K | |
| getprop.lisp | 20-Sep-2010 19:28 | 6.3K | |
| goodstein.lisp | 20-Sep-2010 19:28 | 4.5K | |
| grcd.lisp | 20-Sep-2010 19:28 | 19K | |
| hanoi.acl2 | 20-Sep-2010 19:28 | 182 | |
| hanoi.lisp | 20-Sep-2010 19:28 | 12K | |
| hons-help.lisp | 03-Jan-2011 09:05 | 28K | |
| hons-help2.lisp | 20-Sep-2010 19:28 | 1.7K | |
| hons-tests.lisp | 20-Sep-2010 19:28 | 2.4K | |
| how-to-prove-thms.lisp | 20-Sep-2010 19:28 | 23K | |
| int-division.lisp | 20-Sep-2010 19:28 | 8.1K | |
| integer-type-set-test.lisp | 20-Sep-2010 19:28 | 1.8K | |
| invariants.lisp | 20-Sep-2010 19:28 | 11K | |
| meta-lemmas.lisp | 20-Sep-2010 19:28 | 8.1K | |
| mult.lisp | 20-Sep-2010 19:28 | 34K | |
| oprof-raw.lsp | 20-Sep-2010 19:28 | 2.9K | |
| oprof.acl2 | 20-Sep-2010 19:28 | 43 | |
| oprof.lisp | 20-Sep-2010 19:28 | 3.5K | |
| priorities.lisp | 20-Sep-2010 19:28 | 9.2K | |
| problem13.lisp | 20-Sep-2010 19:28 | 4.6K | |
| process-book-readme.lisp | 20-Sep-2010 19:28 | 5.7K | |
| profiling-raw.lsp | 11-Nov-2010 18:22 | 5.1K | |
| profiling.acl2 | 22-Oct-2010 07:15 | 51 | |
| profiling.lisp | 22-Oct-2010 07:15 | 890 | |
| qi-correct.lisp | 20-Sep-2010 19:28 | 18K | |
| qi.lisp | 20-Sep-2010 19:28 | 48K | |
| radix.acl2 | 20-Sep-2010 19:28 | 183 | |
| radix.lisp | 20-Sep-2010 19:28 | 4.8K | |
| random.lisp | 20-Sep-2010 19:28 | 2.5K | |
| records.lisp | 20-Sep-2010 19:28 | 8.8K | |
| records0.lisp | 20-Sep-2010 19:28 | 11K | |
| redef-pkg.acl2 | 20-Sep-2010 19:28 | 51 | |
| redef-pkg.lisp | 16-Dec-2010 07:38 | 16K | |
| rtl-untranslate.lisp | 20-Sep-2010 19:28 | 29K | |
| seq-examples.lsp | 20-Sep-2010 19:28 | 7.0K | |
| seq.lisp | 20-Sep-2010 19:28 | 24K | |
| seqw-examples.lsp | 20-Sep-2010 19:28 | 8.4K | |
| seqw.lisp | 20-Sep-2010 19:28 | 14K | |
| simplify-defuns.lisp | 08-Dec-2010 16:13 | 43K | |
| simplify-defuns.txt | 20-Sep-2010 19:28 | 18K | |
| simplify-thm.lisp | 20-Sep-2010 19:28 | 1.2K | |
| sin-cos.lisp | 20-Sep-2010 19:28 | 11K | |
| sort-symbols.lisp | 20-Sep-2010 19:28 | 5.7K | |
| sticky-disable.lisp | 20-Sep-2010 19:28 | 2.2K | |
| symbol-btree.lisp | 20-Sep-2010 19:28 | 7.5K | |
| total-order.lisp | 20-Sep-2010 19:28 | 696 | |
| trace-star.lisp | 20-Sep-2010 19:28 | 4.6K | |
| trace1.lisp | 20-Sep-2010 19:28 | 2.8K | |
| transfinite.lisp | 20-Sep-2010 19:28 | 3.8K | |
| untranslate-patterns.lisp | 20-Sep-2010 19:28 | 20K | |
| wet.lisp | 20-Sep-2010 19:28 | 7.7K | |