To access the ACL2 system documentation, open home-page.html in a browser. See also the DOCUMENTATION section of installation.html for an explanation of how to access the ACL2 User's Manual.