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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[DIR]misc2/04-Jul-2011 15:26 -  
[   ]Makefile22-Oct-2010 07:15 360  
[   ]README27-Apr-2011 08:47 21K 
[   ]bash.lisp02-Feb-2011 10:30 10K 
[   ]beta-reduce.lisp19-Mar-2011 14:44 13K 
[   ]book-thms-example.lisp20-Jan-2011 12:23 1.9K 
[   ]book-thms.lisp19-Mar-2011 15:16 8.5K 
[   ]callers-and-ancestors.lisp29-Dec-2010 09:46 4.3K 
[   ]check-acl2-exports.lisp14-Feb-2011 07:58 5.6K 
[   ]computed-hint-rewrite.lisp07-Apr-2011 08:32 6.2K 
[   ]computed-hint.lisp20-Sep-2010 19:28 17K 
[   ]csort.lisp20-Sep-2010 19:28 17K 
[   ]defattach-bang.lisp21-Apr-2011 15:36 2.4K 
[   ]defattach-example.lisp12-Jan-2011 14:47 5.4K 
[   ]definline.acl220-Sep-2010 19:28 66  
[   ]definline.lisp14-Jan-2011 09:53 2.4K 
[   ]defmac.lisp14-Jan-2011 09:53 5.9K 
[   ]defopener.lisp14-Jan-2011 09:53 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.lisp02-Feb-2011 10:30 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 
[   ]doc-section.lisp14-Jan-2011 09:53 88  
[   ]dump-events.lisp14-Jan-2011 09:53 5.6K 
[   ]evalable-printing.lisp20-Sep-2010 19:28 4.3K 
[   ]expander.lisp25-Apr-2011 13:25 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.lisp14-Feb-2011 07:58 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.lisp25-Feb-2011 21:03 26K 
[   ]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.lisp14-Feb-2011 07:58 8.7K 
[   ]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.lsp17-Jun-2011 11:17 6.3K 
[   ]profiling.acl222-Oct-2010 07:15 51  
[   ]profiling.lisp17-Jun-2011 11:19 1.6K 
[   ]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.lisp07-Apr-2011 08:32 43K 
[TXT]simplify-defuns.txt20-Sep-2010 19:28 18K 
[   ]simplify-thm.lisp20-Sep-2010 19:28 1.2K 
[   ]sin-cos.lisp14-Jan-2011 09:53 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 
[   ]transfinite.lisp20-Sep-2010 19:28 3.8K 
[   ]untranslate-patterns.lisp20-Sep-2010 19:28 20K 
[   ]wet.lisp20-Sep-2010 19:28 7.7K