knuton/proof-theory — pull request #12 by knuton (2012-10-19 20:50:56+00:00)
Title: Normalisation

Work in progress, but might be handy for terminology, use of technicalities in your sections.