spechub/Hets — pull request #1417 by cmaeder (2014-11-28 13:21:26+00:00)
Title: set symbol kind to 'prop' for propositions

fixes #1416.