HoTT/HoTT — pull request #286 by marcbezem (2013-12-13 09:28:31+00:00)
Title: Done with references HoTTBook, Ch.2 -> library (second try)

links HoTTBook, Ch. 2.10-15 -> library