knuton/proof-theory — pull request #4 by knuton (2012-10-13 16:59:08+00:00)
Title: Add Prerequesites and section on ->Npi

I added some further (file) structure within the "Prerequisites" chapter. Hope it doesn't conflict with anything you came up by now.

I also added my section on -> Npi, which I will probably extend over time as I see what we need to refer to in later chapters. I don't think the section should take up more than one page, though.