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

[ICO]NameLast modifiedSizeDescription

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