Fixing order of concatenations in thm:equiv-iso-adj.
Errata for 7ae706d, unmarked.
Merge branch 'issue-447' of https://github.com/cangiuli/book

Conflicts:
	errata.tex
Merge branch 'master' of github.com:HoTT/book