Index of /users/moore/acl2/v3-5/distrib/acl2-sources/books/clause-processors

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 SULFA/                  01-May-2009 11:09    -   
 Makefile                20-Oct-2008 19:02  1.7K  
 Readme.lsp              23-Feb-2009 09:54  3.8K  
 basic-examples.acl2     13-Oct-2008 14:02   53   
 basic-examples.lisp     13-Oct-2008 14:02   30K  
 bv-add-common.lisp      13-Oct-2008 14:02  648   
 bv-add-tests.lisp       13-Oct-2008 14:02  4.5K  
 bv-add.lisp             13-Oct-2008 14:02  8.7K  
 decomp-hint.lisp        24-Feb-2009 14:59  8.4K  
 equality.lisp           13-Oct-2008 14:02   11K  
 generalize.acl2         13-Oct-2008 14:02   75   
 generalize.lisp         24-Mar-2009 12:17   22K  
 join-thms.lisp          28-Oct-2008 21:38  3.1K  
 multi-env-trick.lisp    03-Nov-2008 09:33   17K  
 null-fail-hints.lisp    13-Oct-2008 14:02  1.9K  
 replace-defined-cons..> 03-Feb-2009 08:40   86   
 replace-defined-cons..> 02-Feb-2009 16:57  8.6K  
 replace-impl.lisp       20-Oct-2008 19:02  6.0K  
 use-by-hint.lisp        02-Feb-2009 16:57  2.5K