HoTT/book — pull request #288 by robinhouston (2013-06-21 09:13:57+00:00)
Title: A4 version

A version for printing on international standard A4 paper.