kframework/k — pull request #888 by dwightguth (2014-08-27 20:22:13+00:00)
Title: fix copyright

@grosu please review