HoTT/book — pull request #400 by mikeshulman (2013-07-07 01:34:34+00:00)
Title: chaining equalities concatenates paths

Suggested at #389