kframework/k — pull request #612 by grosu (2014-06-16 13:01:43+00:00)
Title: Kool update

All three variants of KOOL updated to work with the unified-builtins2 branch.