Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/arithmetic-3/bind-free

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                17-Dec-2007 09:59  2.3K  
 arithmetic-axioms.txt   17-Dec-2007 09:59  8.6K  
 arithmetic-theory.lisp  17-Dec-2007 09:59   22K  
 banner.lisp             17-Dec-2007 09:59  413   
 basic-helper.lisp       17-Dec-2007 09:59  5.4K  
 basic.lisp              17-Dec-2007 09:59   23K  
 building-blocks.lisp    17-Dec-2007 09:59  5.9K  
 collect.lisp            17-Dec-2007 09:59   15K  
 common.lisp             17-Dec-2007 09:59   13K  
 default-hint.lisp       17-Dec-2007 09:59  1.3K  
 integerp-meta.lisp      17-Dec-2007 09:59   25K  
 integerp.lisp           17-Dec-2007 09:59   34K  
 mini-theories-helper..> 17-Dec-2007 09:59  4.5K  
 mini-theories.lisp      17-Dec-2007 09:59  4.3K  
 normalize.lisp          17-Dec-2007 09:59   24K  
 numerator-and-denomi..> 17-Dec-2007 09:59  2.1K  
 remove-weak-inequali..> 17-Dec-2007 09:59  3.1K  
 simplify-helper.lisp    17-Dec-2007 09:59   10K  
 simplify.lisp           17-Dec-2007 09:59   35K  
 top.lisp                17-Dec-2007 09:59   13K