kframework/k — pull request #250 by traiansf (2014-02-27 16:17:56+00:00)
Title: moved isPredicateLabel from MetaK to KLabelConstant

Dwight, is this what you proposed?