knuton/proof-theory — pull request #2 by knuton (2012-10-12 12:58:35+00:00)
Title: Add basic LaTeX doc

As a result of positive procrastination, I created a basic structure for the LaTeX doc. I am not a big LaTeX buff, so if you have any specific preferences, go wild.

Splitting the document up into separate files for chapters and sections should help us avoid merge conflicts later.