kframework/k — pull request #526 by cos (2014-05-30 21:34:16+00:00)
Title: rename TermContext to State

just an automated refactoring -- intrusive but should be clean