kframework/k — pull request #681 by radumereuta (2014-06-26 21:24:58+00:00)
Title: Fix for ambiguity equals

@dwightguth please review.