kframework/k — pull request #355 by grosu (2014-04-10 01:11:31+00:00)
Title: Eliminated the inferrable sorts

Eliminated the sorts that can be inferred, and modified the text accordingly.

@traiansf @andreistef: please review