kframework/k — pull request #442 by dwightguth (2014-05-13 21:41:44+00:00)
Title: Unified builtins2

This is just a merge commit and nothing else, but it's really huge, so I want to make sure to test it. I will just push this commit upstream once I verify it passes the tests.