HoTT/HoTT — pull request #282 by marcbezem (2013-12-10 14:52:33+00:00)
Title: Done with references HoTTBook, Ch.2 -> library. 

Important links that are missing are: 2.1.8 (loop space), 2.13.1 (paths in nat), 2.15.7 (ac equivalence)