HoTT/book — pull request #685 by mikeshulman (2014-06-19 20:02:26+00:00)
Title: Some errata

This is mostly errata for @jledent's fixes, but I also made one more small fix ("type of elements" should be "type of members").