HoTT/HoTT — pull request #263 by marcbezem (2013-11-21 12:49:11+00:00)
Title: Added links for Section 2.3 in contrib/HoTTBook.v

Added links for Section 2.3 of the book in contrib/HoTTBook.v, plus some minor changes.