kframework/k — pull request #649 by dwightguth (2014-06-23 19:26:42+00:00)
Title: add getMinimalUpperBounds to Poset

@yilongli please review