kframework/k — pull request #575 by daejunpark (2014-06-10 07:37:02+00:00)
Title: Ktest issue 533 unified builtin2

See https://github.com/kframework/k/issues/533#issuecomment-45579871