HoTT/book — pull request #544 by marcbezem (2013-11-25 14:17:06+00:00)
Title: Reordered material around (2.14.2), modified one reference to (2.14.2).

If everybody agrees, issue #500 can be closed.