HoTT/HoTT — pull request #380 by JasonGross (2014-04-24 02:50:50+00:00)
Title: Fix documentation of NaturalTransformation.v

I'm pretty much only changing documentation here, and in minor ways, so I'll merge this once travis oks it, unless someone says otherwise before then.