kframework/k — pull request #936 by yilongli (2014-09-06 14:21:09+00:00)
Title: use pattern matching for macro expansion

@andreistefanescu please review