spechub/Hets — pull request #1381 by cmaeder (2014-10-23 14:29:33+00:00)
Title: 1377 all provers

fixes #1377 and #1378