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