knuton/proof-theory — pull request #18 by yfyf (2012-10-20 17:32:09+00:00)
Title: Add weak normalisation theorem to section on typed lambda-calc

Still in progress, don't rush to merge.