HoTT/book — pull request #611 by mikeshulman (2014-01-15 21:58:48+00:00)
Title: change some non-dependent Pis to arrows in chapter 5

see #610