1
To the extent permitted by applicable law, this distribution of ACL2
2
books is licensed according to Version 2 of the GNU General Public
3
License (included in GPL2), except where this license is explicitly
4
overridden by copyrights and licenses in subsidiary directories and
1
This collection of "ACL2 Community Books" has been contributed by
2
numerous members of the ACL2 community. License and copyright
3
information is provided by individual directories and files.