kframework/c-semantics — pull request #30 by liyili2 (2014-07-26 20:46:04+00:00)
Title: Java rewrite engine4

delete all klabels and change all when -> requires