Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/misc

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[DIR]misc2/10-Aug-2008 15:07 -  
[   ]Makefile10-Aug-2008 15:07 3.8K 
[   ]README29-Jul-2008 14:45 16K 
[   ]bash.lisp17-Dec-2007 09:59 9.0K 
[   ]beta-reduce.lisp17-Dec-2007 09:59 8.3K 
[   ]book-thms.lisp17-Dec-2007 09:59 3.6K 
[   ]certify.lsp17-Dec-2007 09:59 254  
[   ]computed-hint-rewrite.lisp21-May-2008 15:11 6.0K 
[   ]computed-hint.lisp17-Dec-2007 09:59 17K 
[   ]csort.lisp17-Dec-2007 09:59 17K 
[   ]definline.acl227-Feb-2008 11:54 66  
[   ]definline.lisp27-Feb-2008 11:54 2.4K 
[   ]defmac.lisp17-Dec-2007 09:59 2.1K 
[   ]defopener.lisp17-Dec-2007 09:59 19K 
[   ]defp.lisp17-Dec-2007 09:59 5.5K 
[   ]defpun.lisp17-Dec-2007 09:59 19K 
[   ]dft-ex.acl217-Dec-2007 09:59 63  
[   ]dft-ex.lisp17-Dec-2007 09:59 4.6K 
[   ]dft.lisp17-Dec-2007 09:59 29K 
[   ]dump-events.lisp17-Dec-2007 09:59 5.5K 
[   ]expander.lisp17-Dec-2007 09:59 56K 
[   ]fibonacci.lisp17-Dec-2007 09:59 5.8K 
[   ]file-io.lisp05-Feb-2008 11:23 3.9K 
[   ]find-lemmas.lisp17-Dec-2007 09:59 2.9K 
[   ]getprop.lisp15-Apr-2008 20:27 6.3K 
[   ]goodstein.lisp17-Dec-2007 09:59 4.5K 
[   ]grcd.lisp17-Dec-2007 09:59 19K 
[   ]hanoi.acl217-Dec-2007 09:59 182  
[   ]hanoi.lisp17-Dec-2007 09:59 12K 
[   ]hons-help.lisp26-Jul-2008 15:11 25K 
[   ]hons-help2.lisp17-Dec-2007 09:59 1.8K 
[   ]hons-tests.lisp09-Jul-2008 10:05 2.3K 
[   ]how-to-prove-thms.lisp17-Dec-2007 09:59 23K 
[   ]int-division.lisp17-Dec-2007 09:59 8.1K 
[   ]integer-type-set-test.lisp17-Dec-2007 09:59 1.8K 
[   ]meta-lemmas.lisp17-Dec-2007 09:59 8.1K 
[   ]mult.lisp17-Dec-2007 09:59 34K 
[   ]oprof-raw.lsp10-Apr-2008 09:27 2.8K 
[   ]oprof.acl210-Apr-2008 09:27 43  
[   ]oprof.lisp10-Apr-2008 09:35 3.5K 
[   ]priorities.lisp17-Dec-2007 09:59 9.2K 
[   ]problem13.lisp17-Dec-2007 09:59 4.6K 
[   ]process-book-readme.lisp17-Dec-2007 09:59 5.7K 
[   ]qi-correct.lisp05-Aug-2008 19:01 18K 
[   ]qi.lisp08-Jul-2008 17:50 48K 
[   ]radix.acl217-Dec-2007 09:59 183  
[   ]radix.lisp17-Dec-2007 09:59 4.8K 
[   ]random.lisp16-Jul-2008 14:52 2.5K 
[   ]records.lisp15-Feb-2008 08:07 8.8K 
[   ]records0.lisp17-Dec-2007 09:59 11K 
[   ]rtl-untranslate.lisp17-Dec-2007 09:59 29K 
[   ]simplify-defuns.lisp17-Dec-2007 09:59 43K 
[TXT]simplify-defuns.txt17-Dec-2007 09:59 18K 
[   ]sin-cos.lisp17-Dec-2007 09:59 11K 
[   ]sort-symbols.lisp17-Dec-2007 09:59 5.7K 
[   ]sticky-disable.lisp17-Dec-2007 09:59 2.2K 
[   ]symbol-btree.lisp29-Jun-2008 12:03 7.4K 
[   ]total-order.lisp17-Dec-2007 09:59 696  
[   ]transfinite.lisp17-Dec-2007 09:59 3.8K 
[   ]untranslate-patterns.lisp29-Jun-2008 10:26 20K 
[   ]wet.lisp03-Aug-2008 07:17 7.6K