[PPT] - Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1 Matt Kaufmann J PowerPoint Presentation