HoTT/book — pull request #335 by mikeshulman (2013-06-28 17:50:39+00:00)
Title: clarify notation and coherence of naturality, close #331

I took the liberty of doing another clarification at the same time which was separately requested.