kframework/k — pull request #1176 by radumereuta (2014-11-13 21:27:36+00:00)
Title: Parse in module1 commit

@dwightguth please review.
I collapsed all the history from #1115 in order to avoid the binary files. It was just way easier this way, and I don't care that much about it.