kframework/k — pull request #871 by yilongli (2014-08-22 13:38:12+00:00)
Title: Prove kernelc simple examples

@andreistefanescu please review