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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[DIR]misc2/07-Aug-2009 04:57 -  
[   ]Makefile20-Oct-2008 19:02 52  
[   ]README07-Jul-2009 16:59 19K 
[   ]bash.lisp11-Dec-2008 09:51 9.3K 
[   ]beta-reduce.lisp13-Oct-2008 14:03 8.3K 
[   ]book-thms.lisp13-Oct-2008 14:03 3.6K 
[   ]computed-hint-rewrite.lisp13-Oct-2008 14:03 6.0K 
[   ]computed-hint.lisp13-Oct-2008 14:03 17K 
[   ]csort.lisp13-Oct-2008 14:03 17K 
[   ]definline.acl213-Oct-2008 14:03 66  
[   ]definline.lisp13-Oct-2008 14:03 2.4K 
[   ]defmac.lisp27-Feb-2009 19:44 5.8K 
[   ]defopener.lisp13-Oct-2008 14:03 19K 
[   ]defp.lisp13-Oct-2008 14:03 5.5K 
[   ]defpun.lisp13-Oct-2008 14:03 19K 
[   ]dft-ex.acl213-Oct-2008 14:03 63  
[   ]dft-ex.lisp13-Oct-2008 14:03 4.6K 
[   ]dft.lisp13-Oct-2008 14:03 29K 
[   ]dump-events.lisp13-Oct-2008 14:03 5.5K 
[   ]evalable-printing.lisp03-Mar-2009 08:32 4.1K 
[   ]expander.lisp30-May-2009 10:38 56K 
[   ]fast-coerce.lisp30-Jun-2009 13:01 6.6K 
[   ]fibonacci.lisp13-Oct-2008 14:03 5.8K 
[   ]file-io.lisp14-Apr-2009 13:31 4.0K 
[   ]find-lemmas.lisp13-Oct-2008 14:03 2.9K 
[   ]getprop.lisp13-Oct-2008 14:03 6.3K 
[   ]goodstein.lisp13-Oct-2008 14:03 4.5K 
[   ]grcd.lisp13-Oct-2008 14:03 19K 
[   ]hanoi.acl213-Oct-2008 14:03 182  
[   ]hanoi.lisp13-Oct-2008 14:03 12K 
[   ]hons-help.lisp14-Apr-2009 20:36 27K 
[   ]hons-help2.lisp10-Dec-2008 08:53 1.7K 
[   ]hons-tests.lisp20-Oct-2008 19:02 2.2K 
[   ]how-to-prove-thms.lisp13-Oct-2008 14:03 23K 
[   ]int-division.lisp13-Oct-2008 14:03 8.1K 
[   ]integer-type-set-test.lisp13-Oct-2008 14:03 1.8K 
[   ]invariants.lisp09-Mar-2009 13:55 11K 
[   ]meta-lemmas.lisp13-Oct-2008 14:03 8.1K 
[   ]mult.lisp09-Mar-2009 13:56 34K 
[   ]oprof-raw.lsp13-Nov-2008 13:21 2.9K 
[   ]oprof.acl213-Oct-2008 14:03 43  
[   ]oprof.lisp13-Oct-2008 14:03 3.5K 
[   ]priorities.lisp13-Oct-2008 14:03 9.2K 
[   ]problem13.lisp27-Apr-2009 16:21 4.6K 
[   ]process-book-readme.lisp14-Apr-2009 13:29 5.7K 
[   ]qi-correct.lisp13-Oct-2008 14:03 18K 
[   ]qi.lisp13-Oct-2008 14:03 48K 
[   ]radix.acl213-Oct-2008 14:03 183  
[   ]radix.lisp13-Oct-2008 14:03 4.8K 
[   ]random.lisp13-Oct-2008 14:03 2.5K 
[   ]records.lisp13-Oct-2008 14:03 8.8K 
[   ]records0.lisp13-Oct-2008 14:03 11K 
[   ]rtl-untranslate.lisp13-Oct-2008 14:03 29K 
[   ]seq-examples.lsp13-Oct-2008 14:03 6.8K 
[   ]seq.lisp07-Jul-2009 16:59 24K 
[   ]seqw-examples.lsp07-Jul-2009 16:59 8.2K 
[   ]seqw.lisp14-Jul-2009 10:16 13K 
[   ]simplify-defuns.lisp30-May-2009 10:41 43K 
[TXT]simplify-defuns.txt13-Oct-2008 14:03 18K 
[   ]simplify-thm.lisp13-Oct-2008 17:20 1.2K 
[   ]sin-cos.lisp13-Oct-2008 14:03 11K 
[   ]sort-symbols.lisp13-Oct-2008 14:03 5.7K 
[   ]sticky-disable.lisp13-Oct-2008 14:03 2.2K 
[   ]symbol-btree.lisp13-Oct-2008 14:03 7.4K 
[   ]total-order.lisp13-Oct-2008 14:03 696  
[   ]trace-star.lisp03-Mar-2009 08:31 4.5K 
[   ]trace1.lisp02-Oct-2008 13:00 2.8K 
[   ]transfinite.lisp17-Dec-2007 09:59 3.8K 
[   ]untranslate-patterns.lisp13-Oct-2008 14:03 20K 
[   ]wet.lisp14-Apr-2009 13:24 7.6K