Index of /users/moore/acl2/books/books/arithmetic-2/pass1

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                20-Sep-2004 20:21  1.6K  
 arithmetic-axioms.txt   05-Nov-2001 10:39  8.6K  
 basic-arithmetic-hel..> 05-Nov-2001 10:39  3.2K  
 basic-arithmetic.lisp   05-Nov-2001 10:39  5.1K  
 expt-helper.lisp        06-Nov-2002 14:33  2.3K  
 expt.lisp               06-Nov-2002 14:33  5.3K  
 inequalities.lisp       06-Nov-2002 14:33  4.3K  
 mini-theories.lisp      05-Nov-2001 10:39  2.1K  
 numerator-and-denomi..> 05-Nov-2001 10:39   20K  
 numerator-and-denomi..> 05-Nov-2001 10:39  2.7K  
 prefer-times.lisp       06-Nov-2002 14:33  4.3K  
 top.lisp                06-Nov-2002 14:33  1.0K