clarify and fix typos in lemma 6.10.8
unmarked errata for 13302de
some \nameless's should be \blank's.
slight clarifications
change duplicate f's to k's in section 6.12, close #582
unmarked errata for e147418
oops
Merge pull request #585 from mikeshulman/nameless

some \nameless's should be \blank's.
Merge pull request #581 from mikeshulman/lemma6.10.8

clarify and fix typos in lemma 6.10.8

Someone once said it was annoying how well @mikeshulman could argue his case, but it was even more annoying that he would change his mind in face of a good counter-argument.
Mark Errata (auto)
Merge pull request #586 from mikeshulman/flattening-f

change duplicate f's to k's in section 6.12, close #582
Mark Errata (auto)
Fixed a typo in the computation rule for W-types.
Added "Fixed a tpyo in the computation rule for W-types" to the errata.
Improved errata.
...
Merge pull request #589 from mr-/master

Typo in Section 5.3 W-types.
remove spurious extra %
formatting