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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[DIR]misc2/05-Nov-2007 21:36 -  
[   ]Makefile23-Oct-2007 17:46 2.9K 
[   ]README30-Oct-2007 17:52 15K 
[   ]bash.lisp16-Aug-2007 19:58 9.0K 
[   ]beta-reduce.lisp17-Apr-2007 16:45 8.3K 
[   ]book-thms.lisp03-Oct-2007 15:15 3.6K 
[   ]certify.lsp01-Jan-2001 22:43 254  
[   ]computed-hint.lisp14-Nov-2001 23:00 17K 
[   ]csort.lisp23-Apr-2004 10:53 17K 
[   ]defmac.lisp17-Jul-2006 17:51 2.1K 
[   ]defopener.lisp23-Oct-2007 17:26 19K 
[   ]defp.lisp15-Oct-2007 17:56 5.5K 
[   ]defpun.lisp27-Aug-2007 10:56 19K 
[   ]dft-ex.acl227-Jun-2003 10:02 63  
[   ]dft-ex.lisp06-Oct-2001 21:03 4.5K 
[   ]dft.lisp06-Oct-2001 21:02 29K 
[   ]dump-events.lisp20-May-1998 20:07 5.5K 
[   ]expander.lisp04-Jun-2007 10:47 56K 
[   ]fibonacci.lisp15-Feb-2007 20:12 5.8K 
[   ]file-io.lisp13-Feb-2006 14:35 3.0K 
[   ]find-lemmas.lisp06-Aug-2005 20:47 2.9K 
[   ]goodstein.lisp18-Jun-2007 10:29 4.5K 
[   ]grcd.lisp18-Jan-2004 09:58 19K 
[   ]hacker.acl217-Apr-2007 13:02 1.9K 
[   ]hacker.lisp04-Jun-2007 23:39 16K 
[   ]hanoi.acl202-Aug-2005 16:43 182  
[   ]hanoi.lisp02-Aug-2005 16:47 12K 
[   ]hons-help.lisp12-Oct-2007 14:49 22K 
[   ]hons-help2.lisp18-Jul-2007 23:37 1.8K 
[   ]hons-tests.lisp16-Oct-2007 16:50 1.6K 
[   ]how-to-prove-thms.lisp02-Aug-2005 14:09 23K 
[   ]int-division.lisp27-Nov-2001 16:06 8.0K 
[   ]integer-type-set-test.lisp24-Jun-2007 09:31 1.8K 
[   ]meta-lemmas.lisp20-May-1998 20:08 8.1K 
[   ]mult.lisp25-Aug-2003 12:44 34K 
[   ]priorities.lisp13-Jul-2006 15:24 9.2K 
[   ]problem13.lisp22-Aug-2003 11:06 4.6K 
[   ]process-book-readme.lisp24-Feb-2006 11:36 5.7K 
[   ]qi-correct.lisp24-Oct-2007 13:12 15K 
[   ]qi.lisp16-Oct-2007 16:47 33K 
[   ]radix.acl230-Jul-2005 07:16 183  
[   ]radix.lisp30-Jul-2005 07:18 4.8K 
[   ]records.lisp23-May-2007 15:09 8.1K 
[   ]records0.lisp26-Nov-2001 14:53 11K 
[   ]rtl-untranslate.lisp18-Sep-2005 08:23 29K 
[   ]simplify-defuns.lisp19-Oct-2006 08:05 43K 
[TXT]simplify-defuns.txt12-Sep-2002 11:14 18K 
[   ]sin-cos.lisp11-May-2001 14:00 11K 
[   ]sort-symbols.lisp21-Jul-2006 17:17 5.7K 
[   ]sticky-disable.lisp21-Jan-2006 05:57 2.2K 
[   ]symbol-btree.lisp08-Jun-2004 13:17 5.8K 
[   ]total-order.lisp26-Nov-2001 12:23 696  
[   ]transfinite.lisp17-Sep-2007 17:59 3.8K 
[   ]untranslate-patterns.lisp12-Jun-2006 15:36 19K