kframework/k — pull request #614 by radumereuta (2014-06-16 20:42:18+00:00)
Title: Master2u b2

I don't know how that happened.
This time the history looks right.

@dwightguth please review.