HoTT/book — pull request #751 by iblech (2014-12-24 22:04:55+00:00)
Title: Fixed several tiny (non-mathematical) typos

This pull request corrects several tiny typos. They are all non-mathematical, so probably do not need an entry in the errata list.

I added a few non-breaking spaces, only in places where it looked really necessary to do so in my particular printing (A4).

Merry Christmas!