Mark Errata (auto)
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
Merge branch 'master' of github.com:HoTT/book
Merge pull request #568 from mikeshulman/lieover

clarify "path lying over" and fibrations, close #565