Index of /users/moore/acl2/v4-0/distrib/acl2-sources/books/misc

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[DIR]misc2/30-Jun-2010 12:09 -  
[   ]Makefile23-Jun-2010 16:26 52  
[   ]README23-Jun-2010 16:26 20K 
[   ]bash.lisp23-Jun-2010 16:26 10K 
[   ]beta-reduce.lisp23-Jun-2010 16:26 8.3K 
[   ]book-thms.lisp23-Jun-2010 16:26 3.6K 
[   ]computed-hint-rewrite.lisp23-Jun-2010 16:26 6.0K 
[   ]computed-hint.lisp23-Jun-2010 16:26 17K 
[   ]csort.lisp23-Jun-2010 16:26 17K 
[   ]definline.acl223-Jun-2010 16:26 66  
[   ]definline.lisp23-Jun-2010 16:26 2.1K 
[   ]defmac.lisp23-Jun-2010 16:26 5.8K 
[   ]defopener.lisp23-Jun-2010 16:26 21K 
[   ]defp.lisp23-Jun-2010 16:14 5.7K 
[   ]defpun.lisp23-Jun-2010 16:09 19K 
[   ]dft-ex.acl223-Jun-2010 16:26 63  
[   ]dft-ex.lisp23-Jun-2010 16:26 4.6K 
[   ]dft.lisp23-Jun-2010 16:26 29K 
[   ]dump-events.lisp23-Jun-2010 16:26 5.5K 
[   ]evalable-printing.lisp23-Jun-2010 16:26 4.3K 
[   ]expander.lisp23-Jun-2010 16:26 64K 
[   ]fast-coerce.lisp23-Jun-2010 16:26 6.6K 
[   ]fibonacci.lisp23-Jun-2010 16:26 5.8K 
[   ]file-io.lisp23-Jun-2010 16:26 4.0K 
[   ]find-lemmas.lisp23-Jun-2010 16:26 2.9K 
[   ]gentle.lisp28-Jun-2010 14:23 11K 
[   ]getprop.lisp23-Jun-2010 16:26 6.3K 
[   ]goodstein.lisp23-Jun-2010 16:26 4.5K 
[   ]grcd.lisp23-Jun-2010 16:26 19K 
[   ]hanoi.acl223-Jun-2010 16:26 182  
[   ]hanoi.lisp23-Jun-2010 16:26 12K 
[   ]hons-help.lisp28-Jun-2010 14:23 27K 
[   ]hons-help2.lisp28-Jun-2010 14:23 1.7K 
[   ]hons-tests.lisp23-Jun-2010 16:26 2.4K 
[   ]how-to-prove-thms.lisp23-Jun-2010 16:26 23K 
[   ]int-division.lisp23-Jun-2010 16:26 8.1K 
[   ]integer-type-set-test.lisp23-Jun-2010 16:26 1.8K 
[   ]invariants.lisp23-Jun-2010 16:26 11K 
[   ]meta-lemmas.lisp23-Jun-2010 16:26 8.1K 
[   ]mult.lisp23-Jun-2010 16:26 34K 
[   ]oprof-raw.lsp23-Jun-2010 16:26 2.9K 
[   ]oprof.acl223-Jun-2010 16:26 43  
[   ]oprof.lisp23-Jun-2010 16:26 3.5K 
[   ]priorities.lisp23-Jun-2010 16:26 9.2K 
[   ]problem13.lisp23-Jun-2010 16:26 4.6K 
[   ]process-book-readme.lisp23-Jun-2010 16:26 5.7K 
[   ]qi-correct.lisp23-Jun-2010 16:26 18K 
[   ]qi.lisp28-Jun-2010 14:23 48K 
[   ]radix.acl223-Jun-2010 16:26 183  
[   ]radix.lisp23-Jun-2010 16:26 4.8K 
[   ]random.lisp23-Jun-2010 16:26 2.5K 
[   ]records.lisp23-Jun-2010 16:26 8.8K 
[   ]records0.lisp23-Jun-2010 16:26 11K 
[   ]redef-pkg.acl223-Jun-2010 16:26 51  
[   ]redef-pkg.lisp23-Jun-2010 16:26 16K 
[   ]rtl-untranslate.lisp23-Jun-2010 16:26 29K 
[   ]seq-examples.lsp23-Jun-2010 16:26 7.0K 
[   ]seq.lisp23-Jun-2010 16:26 24K 
[   ]seqw-examples.lsp23-Jun-2010 16:26 8.4K 
[   ]seqw.lisp23-Jun-2010 16:26 14K 
[   ]simplify-defuns.lisp23-Jun-2010 16:26 43K 
[TXT]simplify-defuns.txt23-Jun-2010 16:26 18K 
[   ]simplify-thm.lisp23-Jun-2010 16:26 1.2K 
[   ]sin-cos.lisp23-Jun-2010 16:26 11K 
[   ]sort-symbols.lisp23-Jun-2010 16:26 5.7K 
[   ]sticky-disable.lisp23-Jun-2010 16:26 2.2K 
[   ]symbol-btree.lisp23-Jun-2010 16:26 7.5K 
[   ]total-order.lisp23-Jun-2010 16:26 696  
[   ]trace-star.lisp23-Jun-2010 16:26 4.6K 
[   ]trace1.lisp23-Jun-2010 16:26 2.8K 
[   ]transfinite.lisp23-Jun-2010 16:26 3.8K 
[   ]untranslate-patterns.lisp23-Jun-2010 16:26 20K 
[   ]wet.lisp23-Jun-2010 16:26 7.7K