acl2/acl2 — pull request #280 by ragerdl (2014-10-13 23:44:39+00:00)
Title: Adding hons and hons-acons tests for the spec-mv-let system.

Adding hons and hons-acons tests for the spec-mv-let system.

Also, cleaning up hons and hons-acons tests that used pand, since functions that use pand probably need their guards verified to actually use the parallelism system.

Fixes #279