kframework/k — pull request #353 by grosu (2014-04-09 20:46:33+00:00)
Title: updated imp, lesson 1

Updated IMP, Lesson 1, to work with the new unified builtins.