Download procedure to obtain ACL2

Go to the new ACL2 home page..

This page is URL http://www.computationallogic.com/software/caeti/acl2/download.html