kframework/k — pull request #564 by cos (2014-06-08 19:21:45+00:00)
Title: Refactor KLabelConstant

removed its dependence on TermContext

+ some junk due to newlines -- we reeeally need to get this fixed