HoTT/book — pull request #665 by mikeshulman (2014-04-16 06:13:01+00:00)
Title: fix typo in theorem 7.7.4

see #664.