HoTT/HoTT — pull request #256 by andrejbauer (2013-11-20 14:16:03+00:00)
Title: Update contrib/HoTTBook.v

It looks like there is a chance that Marc Bezem's reading group might contribute to linking the HoTT book and the HoTT libraries, so I updated this and made sure it works.