kframework/k — pull request #922 by radumereuta (2014-09-02 19:20:03+00:00)
Title: Remove the KSorts file that still used the old String representation for Sort

Picking up from where @yilongli left it.
@dwightguth please review.