kframework/k — pull request #563 by cos (2014-06-08 18:31:03+00:00)
Title: Remove term context caching

too lazy to cherry pick -- please review after merging #562