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 ACL2-TUTORIAL.