HoTT/book — pull request #619 by sattlerc (2014-01-24 01:46:16+00:00)
Title: Identity eliminator typos in appendix

Fixed identity eliminator typos in appendix: replaced ind' (based) with ind (unbased)