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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                17-Dec-2007 09:59  280   
 acl2-agp.acl2           17-Dec-2007 09:59  332   
 acl2-agp.lisp           17-Dec-2007 09:59   10K  
 acl2-asg.acl2           17-Dec-2007 09:59  186   
 acl2-asg.lisp           17-Dec-2007 09:59  9.9K  
 acl2-crg.acl2           17-Dec-2007 09:59  325   
 acl2-crg.lisp           17-Dec-2007 09:59  9.2K  
 certify.lsp             17-Dec-2007 09:59  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