kframework/k — pull request #1251 by dwightguth (2014-12-10 19:19:23+00:00)
Title: fix copyOnShareSubstAndEval to call isNormal

@yilongli please review