About the ACL2 Home Page
The ACL2 Home Page on the web contains links to demos, publications, mailing lists, installation instructions, and more — and, especially, to the extensive online documentation for ACL2 and its libraries, known as ``books''.
For example, to use the online documentation to find out about rewrite
The tiny warning signs
At the end of the tours you will have a chance to revisit them quickly to explore alternative paths more fully.