kframework/k — pull request #1241 by radumereuta (2014-12-04 22:44:28+00:00)
Title: Rule parser

Let's see if tests pass.