HoTT/book — pull request #692 by bjmprice (2014-06-29 17:29:13+00:00)
Title: Capitalise proper nouns in reference titles

There are other capitalised words in references.bib which are lowercased in the pdf. I don't know if these should be changed as well.