Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

Matt Kaufmann, J Strother Moore

We report on highlights of the ACL2 enhancements introduced in ACL2 releases since the 2011 ACL2 Workshop. Although many enhancements are critical for soundness or robustness, we f…