kframework/k — pull request #433 by traiansf (2014-05-10 19:42:12+00:00)
Title: Latex fix

By our powers combined, here is a proposed fix for Issue #418
@grosu especially, but also everybody else: please check pdf output and suggest improvements.

@dwightguth please review