heades/lj_completeness — pull request #1 by gasche (2013-05-04 09:57:28+00:00)
Title: Fix two (potential) typos

I've been using your document to learn about multi-succedent calculi, so be careful, these may actually not be typos.