Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Matt Kaufmann, J Strother Moore

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