kframework/k — pull request #1074 by yilongli (2014-10-17 02:37:42+00:00)
Title: fixed Term#compareTo to conform to its general contract

fixed https://github.com/kframework/k/issues/1073

@dwightguth please review