HoTT/HoTT — pull request #277 by andrejbauer (2013-12-07 07:30:21+00:00)
Title: Incporporated @marcbezem's changes to `HoTTBook.v`

I just copied the few relevant changes from @marcbesem's pull request.