Index of /users/moore/acl2/books/books/arithmetic-3/bind-free

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                23-Mar-2004 12:48  2.3K  
 arithmetic-axioms.txt   23-Mar-2004 12:48  8.6K  
 arithmetic-theory.lisp  24-Mar-2004 11:56   22K  
 basic-helper.lisp       15-Nov-2005 13:44  5.4K  
 basic.lisp              24-Mar-2004 11:56   23K  
 building-blocks.lisp    23-Mar-2004 13:26  5.9K  
 collect.lisp            15-Nov-2005 13:45   17K  
 common.lisp             23-Mar-2004 12:48   13K  
 default-hint.lisp       29-Mar-2004 16:21  1.1K  
 integerp-meta.lisp      29-Mar-2004 16:20   25K  
 integerp.lisp           14-Oct-2004 13:08   34K  
 mini-theories-helper..> 15-Nov-2005 13:45  4.5K  
 mini-theories.lisp      15-Nov-2005 13:45  4.5K  
 normalize.lisp          23-Mar-2004 12:48   24K  
 numerator-and-denomi..> 23-Mar-2004 12:48  2.1K  
 remove-weak-inequali..> 23-Mar-2004 12:48  3.1K  
 simplify-helper.lisp    15-Nov-2005 13:46   11K  
 simplify.lisp           24-Mar-2004 11:01   35K  
 top.lisp                24-Mar-2004 11:56   13K