kframework/k — pull request #703 by yilongli (2014-07-06 03:18:47+00:00)
Title: Alpha k rewrite machine (not ready for review)

Testing...