HoTT/book — pull request #537 by TimRichter (2013-11-22 00:57:11+00:00)
Title: fix ebook-overfulls

Fix #491.