Updated HoTTBook.v with new labels
Merge pull request #104 from andrejbauer/master

Updated HoTTBook.v