kframework/k — pull request #484 by liyili2 (2014-05-22 16:19:00+00:00)
Title: Remove concrete

Try to remove all concrete syntax in compilation steps of backend.