![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | misc2/ | 2014-08-04 08:29 | - | |
![]() | oprof.acl2.gz | 2010-09-20 19:28 | 71 | |
![]() | profiling.acl2.gz | 2010-10-22 07:15 | 79 | |
![]() | redef-pkg.acl2.gz | 2010-09-20 19:28 | 79 | |
![]() | defproxy-test.acl2.gz | 2010-12-14 09:40 | 87 | |
![]() | definline.acl2.gz | 2010-09-20 19:28 | 92 | |
![]() | dft-ex.acl2.gz | 2010-09-20 19:28 | 93 | |
![]() | hanoi.acl2.gz | 2010-09-20 19:28 | 173 | |
![]() | radix.acl2.gz | 2010-09-20 19:28 | 173 | |
![]() | Makefile.gz | 2010-10-22 07:15 | 272 | |
![]() | total-order.lisp.gz | 2010-09-20 19:28 | 353 | |
![]() | simplify-thm.lisp.gz | 2010-09-20 19:28 | 476 | |
![]() | profiling.lisp.gz | 2010-10-22 07:15 | 502 | |
![]() | integer-type-set-test.lisp.gz | 2010-09-20 19:28 | 596 | |
![]() | hons-help2.lisp.gz | 2010-09-20 19:28 | 667 | |
![]() | sticky-disable.lisp.gz | 2010-09-20 19:28 | 739 | |
![]() | find-lemmas.lisp.gz | 2010-09-20 19:28 | 911 | |
![]() | hons-tests.lisp.gz | 2010-09-20 19:28 | 957 | |
![]() | definline.lisp.gz | 2010-09-30 15:30 | 1.0K | |
![]() | oprof-raw.lsp.gz | 2010-09-20 19:28 | 1.0K | |
![]() | dft-ex.lisp.gz | 2010-09-20 19:28 | 1.1K | |
![]() | book-thms.lisp.gz | 2010-09-20 19:28 | 1.1K | |
![]() | trace1.lisp.gz | 2010-09-20 19:28 | 1.1K | |
![]() | defproxy-test.lisp.gz | 2010-12-14 09:49 | 1.2K | |
![]() | random.lisp.gz | 2010-09-20 19:28 | 1.2K | |
![]() | oprof.lisp.gz | 2010-09-20 19:28 | 1.2K | |
![]() | callers-and-ancestors.lisp.gz | 2010-12-29 09:46 | 1.2K | |
![]() | file-io.lisp.gz | 2010-09-20 19:28 | 1.2K | |
![]() | transfinite.lisp.gz | 2010-09-20 19:28 | 1.3K | |
![]() | evalable-printing.lisp.gz | 2010-09-20 19:28 | 1.4K | |
![]() | sort-symbols.lisp.gz | 2010-09-20 19:28 | 1.4K | |
![]() | radix.lisp.gz | 2010-09-20 19:28 | 1.4K | |
![]() | goodstein.lisp.gz | 2010-09-20 19:28 | 1.5K | |
![]() | process-book-readme.lisp.gz | 2010-09-20 19:28 | 1.5K | |
![]() | trace-star.lisp.gz | 2010-09-20 19:28 | 1.6K | |
![]() | defp.lisp.gz | 2010-09-22 11:49 | 1.6K | |
![]() | check-acl2-exports.lisp.gz | 2010-10-24 12:46 | 1.7K | |
![]() | problem13.lisp.gz | 2010-09-20 19:28 | 1.8K | |
![]() | profiling-raw.lsp.gz | 2010-11-11 18:22 | 1.8K | |
![]() | computed-hint-rewrite.lisp.gz | 2010-09-20 19:28 | 1.8K | |
![]() | symbol-btree.lisp.gz | 2010-09-20 19:28 | 1.8K | |
![]() | dump-events.lisp.gz | 2010-09-20 19:28 | 1.8K | |
![]() | int-division.lisp.gz | 2010-09-20 19:28 | 1.9K | |
![]() | wet.lisp.gz | 2010-09-20 19:28 | 1.9K | |
![]() | fibonacci.lisp.gz | 2010-09-20 19:28 | 2.0K | |
![]() | fast-coerce.lisp.gz | 2010-09-20 19:28 | 2.0K | |
![]() | beta-reduce.lisp.gz | 2010-09-20 19:28 | 2.0K | |
![]() | defmac.lisp.gz | 2010-09-20 19:28 | 2.1K | |
![]() | getprop.lisp.gz | 2010-09-20 19:28 | 2.1K | |
![]() | seq-examples.lsp.gz | 2010-09-20 19:28 | 2.3K | |
![]() | meta-lemmas.lisp.gz | 2010-09-20 19:28 | 2.3K | |
![]() | seqw-examples.lsp.gz | 2010-09-20 19:28 | 2.5K | |
![]() | invariants.lisp.gz | 2010-09-20 19:28 | 2.6K | |
![]() | records.lisp.gz | 2010-09-20 19:28 | 2.6K | |
![]() | records0.lisp.gz | 2010-09-20 19:28 | 2.7K | |
![]() | gentle.lisp.gz | 2010-09-20 19:28 | 2.7K | |
![]() | sin-cos.lisp.gz | 2010-09-20 19:28 | 3.0K | |
![]() | priorities.lisp.gz | 2010-09-20 19:28 | 3.2K | |
![]() | seqw.lisp.gz | 2010-09-20 19:28 | 3.3K | |
![]() | bash.lisp.gz | 2010-09-20 19:28 | 3.5K | |
![]() | hanoi.lisp.gz | 2010-09-20 19:28 | 3.5K | |
![]() | qi-correct.lisp.gz | 2010-09-20 19:28 | 3.7K | |
![]() | grcd.lisp.gz | 2010-09-20 19:28 | 4.2K | |
![]() | computed-hint.lisp.gz | 2010-09-20 19:28 | 4.2K | |
![]() | csort.lisp.gz | 2010-09-20 19:28 | 4.5K | |
![]() | defpun.lisp.gz | 2010-09-20 19:28 | 4.8K | |
![]() | simplify-defuns.txt.gz | 2010-09-20 19:28 | 4.9K | |
![]() | redef-pkg.lisp.gz | 2010-12-16 07:38 | 5.0K | |
![]() | defopener.lisp.gz | 2010-09-20 19:28 | 5.1K | |
![]() | rtl-untranslate.lisp.gz | 2010-09-20 19:28 | 5.5K | |
![]() | dft.lisp.gz | 2010-09-20 19:28 | 5.7K | |
![]() | untranslate-patterns.lisp.gz | 2010-09-20 19:28 | 5.8K | |
![]() | seq.lisp.gz | 2010-09-20 19:28 | 6.5K | |
![]() | README.gz | 2010-12-28 22:33 | 6.7K | |
![]() | mult.lisp.gz | 2010-09-20 19:28 | 6.9K | |
![]() | how-to-prove-thms.lisp.gz | 2010-09-20 19:28 | 6.9K | |
![]() | hons-help.lisp.gz | 2011-01-03 09:05 | 8.4K | |
![]() | simplify-defuns.lisp.gz | 2010-12-08 16:13 | 9.2K | |
![]() | qi.lisp.gz | 2010-09-20 19:28 | 11K | |
![]() | expander.lisp.gz | 2010-12-08 16:13 | 14K | |