Index of /~moore/acl2/older-releases/v3-4/distrib/acl2-sources/books/misc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Makefile.gz2008-08-10 15:07 922  
[   ]README.gz2008-07-29 14:45 5.6K 
[   ]bash.lisp.gz2007-12-17 09:59 3.1K 
[   ]beta-reduce.lisp.gz2007-12-17 09:59 2.0K 
[   ]book-thms.lisp.gz2007-12-17 09:59 1.1K 
[   ]certify.lsp.gz2007-12-17 09:59 176  
[   ]computed-hint-rewrite.lisp.gz2008-05-21 15:11 1.8K 
[   ]computed-hint.lisp.gz2007-12-17 09:59 4.2K 
[   ]csort.lisp.gz2007-12-17 09:59 4.5K 
[   ]definline.acl2.gz2008-02-27 11:54 92  
[   ]definline.lisp.gz2008-02-27 11:54 1.1K 
[   ]defmac.lisp.gz2007-12-17 09:59 861  
[   ]defopener.lisp.gz2007-12-17 09:59 4.9K 
[   ]defp.lisp.gz2007-12-17 09:59 1.5K 
[   ]defpun.lisp.gz2007-12-17 09:59 4.6K 
[   ]dft-ex.acl2.gz2007-12-17 09:59 93  
[   ]dft-ex.lisp.gz2007-12-17 09:59 1.1K 
[   ]dft.lisp.gz2007-12-17 09:59 5.7K 
[   ]dump-events.lisp.gz2007-12-17 09:59 1.8K 
[   ]expander.lisp.gz2007-12-17 09:59 12K 
[   ]fibonacci.lisp.gz2007-12-17 09:59 2.0K 
[   ]file-io.lisp.gz2008-02-05 11:23 1.2K 
[   ]find-lemmas.lisp.gz2007-12-17 09:59 911  
[   ]getprop.lisp.gz2008-04-15 20:27 2.1K 
[   ]goodstein.lisp.gz2007-12-17 09:59 1.5K 
[   ]grcd.lisp.gz2007-12-17 09:59 4.2K 
[   ]hanoi.acl2.gz2007-12-17 09:59 173  
[   ]hanoi.lisp.gz2007-12-17 09:59 3.5K 
[   ]hons-help.lisp.gz2008-07-26 15:11 6.6K 
[   ]hons-help2.lisp.gz2007-12-17 09:59 701  
[   ]hons-tests.lisp.gz2008-07-09 10:05 939  
[   ]how-to-prove-thms.lisp.gz2007-12-17 09:59 6.9K 
[   ]int-division.lisp.gz2007-12-17 09:59 1.9K 
[   ]integer-type-set-test.lisp.gz2007-12-17 09:59 596  
[   ]meta-lemmas.lisp.gz2007-12-17 09:59 2.3K 
[DIR]misc2/2014-08-04 08:25 -  
[   ]mult.lisp.gz2007-12-17 09:59 6.9K 
[   ]oprof-raw.lsp.gz2008-04-10 09:27 1.0K 
[   ]oprof.acl2.gz2008-04-10 09:27 71  
[   ]oprof.lisp.gz2008-04-10 09:35 1.2K 
[   ]priorities.lisp.gz2007-12-17 09:59 3.2K 
[   ]problem13.lisp.gz2007-12-17 09:59 1.8K 
[   ]process-book-readme.lisp.gz2007-12-17 09:59 1.5K 
[   ]qi-correct.lisp.gz2008-08-05 19:01 3.7K 
[   ]qi.lisp.gz2008-07-08 17:50 11K 
[   ]radix.acl2.gz2007-12-17 09:59 173  
[   ]radix.lisp.gz2007-12-17 09:59 1.4K 
[   ]random.lisp.gz2008-07-16 14:52 1.2K 
[   ]records.lisp.gz2008-02-15 08:07 2.6K 
[   ]records0.lisp.gz2007-12-17 09:59 2.7K 
[   ]rtl-untranslate.lisp.gz2007-12-17 09:59 5.5K 
[   ]simplify-defuns.lisp.gz2007-12-17 09:59 9.2K 
[   ]simplify-defuns.txt.gz2007-12-17 09:59 4.9K 
[   ]sin-cos.lisp.gz2007-12-17 09:59 3.0K 
[   ]sort-symbols.lisp.gz2007-12-17 09:59 1.4K 
[   ]sticky-disable.lisp.gz2007-12-17 09:59 739  
[   ]symbol-btree.lisp.gz2008-06-29 12:03 1.8K 
[   ]total-order.lisp.gz2007-12-17 09:59 353  
[   ]transfinite.lisp.gz2007-12-17 09:59 1.3K 
[   ]untranslate-patterns.lisp.gz2008-06-29 10:26 5.8K 
[   ]wet.lisp.gz2008-08-03 07:17 1.9K 

Apache/2.4.62 (Ubuntu) Server at www.cs.utexas.edu Port 443