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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                12-May-2006 14:56  2.3K  
 arithmetic-axioms.txt   23-Mar-2004 12:48  8.6K  
 arithmetic-theory.lisp  24-Mar-2004 11:56   22K  
 banner.lisp             10-Jan-2007 19:17  413   
 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            27-Nov-2006 10:57   15K  
 common.lisp             23-Mar-2004 12:48   13K  
 default-hint.lisp       12-Jan-2007 14:47  1.3K  
 integerp-meta.lisp      11-Apr-2007 07:57   25K  
 integerp.lisp           20-Nov-2006 17:32   34K  
 mini-theories-helper..> 15-Nov-2005 13:45  4.5K  
 mini-theories.lisp      11-Jan-2007 10:37  4.3K  
 normalize.lisp          13-Mar-2007 18:31   24K  
 numerator-and-denomi..> 23-Mar-2004 12:48  2.1K  
 remove-weak-inequali..> 23-Mar-2004 12:48  3.1K  
 simplify-helper.lisp    11-Apr-2007 08:05   10K  
 simplify.lisp           29-Aug-2006 21:08   35K  
 top.lisp                06-Jan-2007 09:32   13K