kframework/k — pull request #582 by dwightguth (2014-06-11 13:47:00+00:00)
Title: Samples

@andreistefanescu please review