Proof Pad: A New Development Environment for ACL2 - Caleb Eggensperger (ACL2, 2013)