See the DOCUMENTATION section of installation.html for an explanation of how to
access the ACL2 User's Manual.
