kframework/k — pull request #668 by dwightguth (2014-06-25 19:12:05+00:00)
Title: Maude stuff

@andreistefanescu @traiansf please review.