kframework/c-semantics — pull request #18 by dwightguth (2014-06-19 15:30:12+00:00)
Title: remove duplicate rule and fix cil for maude backend

@andreistefanescu please review.