kframework/k — pull request #626 by radumereuta (2014-06-18 18:57:14+00:00)
Title: Invalidating cache if the definition is out of date with the latest version of K.

@dwightguth please review.