about ACL2
Major Section:  ACL2 Documentation

This is ACL2 Version 6.3, copyright (C) 2013, Regents of the University of Texas, 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 doc/acl2-code-size.txt.

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.