kframework/k — pull request #638 by dwightguth (2014-06-19 20:14:31+00:00)
Title: add ==K for Bags

@andreistefanescu please review