Index of /users/moore/acl2/books/books/arithmetic

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                14-Mar-2005 12:49  1.4K  
 Readme.lsp              13-Feb-2006 09:05  1.8K  
 abs.lisp                20-Nov-2003 18:06  2.0K  
 binomial.lisp           15-Mar-2005 11:04   13K  
 certify.lsp             02-Jun-2004 19:17  2.5K  
 equalities.acl2         14-Mar-2005 12:35  469   
 equalities.lisp         01-Feb-2004 10:59   24K  
 factorial.lisp          20-Nov-2003 18:06  1.0K  
 idiv.lisp               20-Nov-2003 18:06  4.6K  
 inequalities.lisp       20-Nov-2003 18:06   19K  
 mod-gcd.lisp            20-Nov-2003 18:06   19K  
 natp-posp.lisp          14-Feb-2005 10:51  3.8K  
 rational-listp.lisp     20-Nov-2003 18:06  1.3K  
 rationals.lisp          20-Nov-2003 18:06  8.9K  
 sumlist.lisp            15-Mar-2005 11:16  952   
 top-with-meta.lisp      20-Nov-2003 18:06  1.0K  
 top.lisp                20-Nov-2003 18:16  1.4K