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

Adding the latest modifications committed to master into unified-builtins.