Please point your browser at Readme.html in this directory, or else at:
http://www.cs.utexas.edu/users/moore/acl2/v4-0/distrib/acl2-sources/books/Readme.html

