Major Section: ACL2 Documentation
This is ACL2 Version 5.0, copyright (C) 2011 University of Texas at Austin, authored by Matt Kaufmann and J Strother Moore.
For past versions, see http://www.cs.utexas.edu/users/moore/acl2/current/other-releases.html.
For statistics on ACL2 code size, see file
See documentation for how to access the user's manual.
See the home page at http://www.cs.utexas.edu/users/moore/acl2/ for additional information including tutorials, applications, mailing lists, related publications, libraries, ACL2 workshops and seminars, installation instructions, and acknowledgements.
See copyright for license and copyright information.