HoTT/book — pull request #182 by iblech (2013-04-27 14:08:42+00:00)
Title: Typo fixes

Please let me know if you prefer a different method of sending patches.

Thanks! Regards,
Ingo