This collection of "ACL2 Community Books" has been contributed by
numerous members of the ACL2 community.  License and copyright
information is provided by individual directories and files.
