Index of /users/moore/acl2/v3-3/distrib/acl2-sources/books/cowles

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                18-Dec-2004 13:50  280   
 acl2-agp.acl2           14-Oct-2005 17:48  332   
 acl2-agp.lisp           18-Jan-2004 14:07   10K  
 acl2-asg.acl2           14-Oct-2005 17:48  186   
 acl2-asg.lisp           18-Jan-2004 14:07  9.9K  
 acl2-crg.acl2           14-Oct-2005 17:48  325   
 acl2-crg.lisp           18-Jan-2004 14:07  9.2K  
 certify.lsp             20-Jul-2000 17:12  1.2K  

This is the README file for the acl2 directory books/cowles.

John Cowles

agp.lisp - Theory of Abelian Groups
asg.lisp - Theory of Abelian Semigroups
crg.lisp - Theory of Commutative Rings