A Tool for Simplifying ACL2 Definitions
Matt Kaufmann
ACL2 Seminar, May 3, 2016

In this talk I will discuss a tool I've written that simplifies ACL2
definitions.  I'll take us through what the tool does and how the tool
does it, and conclude by showing some interesting issues and features.