Merge pull request #474 from andrejbauer/master

Remove duplicate words
improve wording of "that that" fix
Merge pull request #475 from mikeshulman/thatthat

improve wording of "that that" fix
Unify my names in the book.
typo
Errata for c4291af
Merge pull request #476 from TimRichter/master

Typo after Lemma 6.4.6
errata marker for c4291af
Typo basics.tex : litle -> little
typo: Getzen
Merge pull request #478 from TimRichter/getzen

typo: Getzen
point view -> point of view (twice)
Merge pull request #477 from bjmprice/master

Typo basics.tex : litle -> little
Merge pull request #479 from TimRichter/pointview

point view -> point of view (twice)
type of ap_f in Lemma 2.2.1
Errata for 83d02ba, unmarked
mark errata for 83d02ba
correct unit elimination rule

The unit elimination rule had a spurious additional bound variable that has been removed.
notation for left- and right-whiskering

it seems preferable to use a sans-serif subscript to indicate left- and right-whiskering.  prior to this change the subscripts used in the eckmann-hilton proof conflict with the use of l and r as variables.
(Marked) errata for the correction of the unit elimination rule.