kframework/k — pull request #268 by andreistefanescu (2014-03-04 23:20:44+00:00)
Title: added support for iteration over sets and maps; fixed set concatenation ...

...in the right-hand side