kframework/k — pull request #762 by dwightguth (2014-07-29 15:38:16+00:00)
Title: separate mint out into mint and mint-impl

@andreistefanescu please review