HoTT/book — pull request #365 by mikeshulman (2013-07-02 23:24:25+00:00)
Title: fix reference in proof of 4.7.6, close #356.

I had to be careful not to alter the numbering of anything else on
this one, so whoever merges it should check that I didn't mess up.