kframework/c-semantics — pull request #55 by dwightguth (2014-11-12 16:28:03+00:00)
Title: fix minor changes in latest version of K

@chathhorn please review