knuton/proof-theory — pull request #23 by knuton (2012-10-21 00:30:32+00:00)
Title: Add conclusion

What else?