kframework/k — pull request #788 by dwightguth (2014-08-04 23:01:24+00:00)
Title: Unified builtins2

One last merge...