kframework/k — pull request #1130 by dwightguth (2014-10-29 19:01:58+00:00)
Title: make klabel cache definition-specific

@yilongli please review