kframework/k — pull request #1189 by cos (2014-11-17 16:32:04+00:00)
Title: add priority and assoc to kore.k

@radumereuta, made a draft for prority and assoc

feel free to change it as you like