kframework/k — pull request #293 by traiansf (2014-03-20 16:22:17+00:00)
Title: Removing pdmc from master

@dwightguth I'm moving this work to another branch. Will reintegrate it step by step (and test by test).