kframework/k — pull request #770 by dwightguth (2014-07-31 15:26:48+00:00)
Title: remove cons attribute everywhere but frontend

@radumereuta please review