kframework/k — pull request #585 by radumereuta (2014-06-11 19:28:24+00:00)
Title: Unified builtins2 master merge

Updating unified-builtins with the changes commited to master.