knuton/proof-theory — pull request #11 by knuton (2012-10-18 23:06:20+00:00)
Title: Section on isomorphism

It initially took me some time to figure out how to typeset the proofs as function arguments (nested math environments), but it works smoothly now.

The parts I worked out so far also work smoothly math-wise.

This is not at all ready to merge, but here for feedback.