kframework/k — pull request #515 by yilongli (2014-05-29 20:32:25+00:00)
Title: Refactoring hash code

I am creating this pull request in order to test it. Besides, I will wait for Andrei's soon-coming pull request to get merged first.