kframework/k — pull request #552 by radumereuta (2014-06-06 00:05:14+00:00)
Title: Caching rules

Pull request so I can test if I haven't broken anything.
Not ready for code review.