acl2/acl2 — pull request #230 by ragerdl (2014-09-11 23:51:38+00:00)
Title: Merging from ragedl/acl2

I'll handle the pull request myself, so nothing for anyone else to do.