Simplify base case of Theorem 7.1.10
Bring errata up to date and sort by location, #298
Merge branch 'master' of github.com:HoTT/book
minimal fix for #361
missing period
Merge pull request #363 from rwbarton/theorem-7.1.10

Simplify base case of Theorem 7.1.10
add 713f48c to errata