Please see file GPL2, which covers the entire ACL2 distribution except
for files under the books/ subdirectory.
