Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Matt Kaufmann
(UT Austin) 		J Strother Moore
(UT Austin)

We report on improvements to ACL2 made since the 2013 ACL2 Workshop.

In Freek Verbeek and Julien Schmaltz: Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2014), Vienna, Austria, 12-13th July 2014, Electronic Proceedings in Theoretical Computer Science 152, pp. 1–7.
Published: 4th June 2014.
ArXived at: http://dx.doi.org/10.4204/EPTCS.152.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org