Incporporated @marcbezem's changes
Merge pull request #277 from andrejbauer/master

Incporporated @marcbezem's changes to `HoTTBook.v`