Major Section: BOOKS
For background on ACL2 books, which can contain useful definitions and theorems, see books.
The ACL2 ``community books'' is a collection of books developed since the
early 1990s by members of the ACL2 community. The installation instructions
suggest installing these books in the books/ subdirectory of your local
ACL2 installation. You can contribute books to the ACL2 community and obtain
updates inbetween ACL2 releases by visiting the acl2-books project web
page, http://acl2-books.googlecode.com/.
To certify the community books, see regression.
