kframework/k — pull request #1079 by yilongli (2014-10-19 01:21:39+00:00)
Title: Rename generated fresh var to generated anon var

fixing https://github.com/kframework/k/issues/1072

@andreistefanescu @dwightguth please review