knuton/proof-theory — pull request #16 by yfyf (2012-10-20 17:28:45+00:00)
Title: Uniform enumeration of theorem environments

Mergahr!