acl2/acl2 — pull request #283 by ragerdl (2014-10-14 21:05:27+00:00)
Title: Removing a couple .acl2 files that are no longer necessary now that we support waterfall-parallelism with ACL2(hp) in a better way

Removing a couple .acl2 files that are no longer necessary now that we support waterfall-parallelism with ACL2(hp) in a better way