Please point your browser at README.html in this directory, or else at:
ftp://ftp.cs.utexas.edu/pub/moore/acl2/v2-9/acl2-sources/books/README.html

