kframework/k — pull request #613 by radumereuta (2014-06-16 20:03:33+00:00)
Title: Master2u b

@dwightguth please review.
Unfortunately this looks a bit ugly because I got into line ending problems again.