kframework/k — pull request #643 by dwightguth (2014-06-20 20:19:49+00:00)
Title: remove Set, List, Map classes

Testing build first.