Removing duplicate 'the the'
removing some further double words
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.