kframework/k — pull request #1237 by dwightguth (2014-12-04 15:09:54+00:00)
Title: Fixed substitution.

Creating pull request for @traiansf 's code, but rebased onto correct history. I will review this myself since it's his code.