HoTT/book — pull request #431 by mikeshulman (2013-07-25 21:04:46+00:00)
Title: Say "path induction" rather than "identity elimination" in 2.1.4, close ...

...#414.

I don't think this needs an erratum.