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

Reverts kframework/k#1208