acl2/acl2 — pull request #256 by ragerdl (2014-09-26 16:10:20+00:00)
Title: Enabling provisional certification for tau-bounders

Enabling provisional certification for tau-bounders