This distribution of ACL2 books is licensed according to Version 2 of
the GNU General Public License (included in GPL2), except where this
license is explicitly overridden by copyrights and licenses in
subsidiary directories and files.
