clarify "path lying over" and fibrations, close #565
added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v.
Merge pull request #571 from marcbezem/master

added a label to Lemma 2.10.1 in book/basics.tex for (automatic) inclusion in HoTTBook.v
fix typo, close #570
Merge branch 'master' of github.com:HoTT/book
Merge pull request #568 from mikeshulman/lieover

clarify "path lying over" and fibrations, close #565
Reworked proof of Lemma 6.5.4.
Further reworked proof of Lemma 6.5.4
a bit more explanation
remove unneeded \sm's
Merge pull request #572 from mikeshulman/lemma6.5.4

Further reworked proof of Lemma 6.5.4
typos in Lemma 6.12.7, close #573
unmarked errata for 6dce346
Merge branch 'master' of https://github.com/DanGrayson/book
explain more about justifications for equalities, close #578
typo in proof of lemma 2.7.2
unmarked errata for ba035f6
oops
clarify and fix typos in lemma 6.10.8
unmarked errata for 13302de