HoTT/book — pull request #653 by JasonGross (2014-03-29 22:07:40+00:00)
Title: Add labels to a number of ct theorems and defns

They were missing them, and I want them for HoTTBook.v in HoTT/HoTT.