knuton/proof-theory — pull request #20 by knuton (2012-10-20 23:13:33+00:00)
Title: Transformations

Another page!