missing parentheses in proof of 5.8.2
add d5c5d01 to errata
decidability of judgmental equality is meta-theoretic, see #264
add 42698c2 to errata
mention chaining equalities in section 1.1
typo: switches between (a_1,a_2) and (x,y)
Merge pull request #388 from mikeshulman/judgments

decidability of judgmental equality is meta-theoretic, see #264
Merge pull request #390 from ecavallo/master

typo in Lemma 8.6.10 (freudlemma)
Merge branch 'theorem5.8.2'

Conflicts:
	errata.tex
add 0c0be67 to errata
Merge pull request #389 from mikeshulman/chainingequalities

mention chaining equalities in section 1.1