ACL2 Tutorial (pre-release for Version 4.0)
Here we provide a link to an
improved ACL2 tutorial, which is actually part of a pre-release of
the ACL2 documentation as of June 4, 2010.
If you prefer, you can download gzipped tarfile
HTML.tgz that extracts to that June 4
documenation pre-release. Once you have done that, visit the topic