kframework/k — pull request #1208 by dwightguth (2014-11-25 17:08:07+00:00)
Title: Revert "simplification in substitution and function evaluation"

Reverts kframework/k#1205