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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                13-Oct-2008 14:03   51   
 acl2-agp.acl2           13-Oct-2008 14:03  332   
 acl2-agp.lisp           13-Oct-2008 14:03   10K  
 acl2-asg.acl2           13-Oct-2008 14:03  186   
 acl2-asg.lisp           13-Oct-2008 14:03  9.9K  
 acl2-crg.acl2           13-Oct-2008 14:03  325   
 acl2-crg.lisp           13-Oct-2008 14:03  9.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