fix types in 8.6.11 and 8.6.12, close #391
add d5584c6 to errata
more on subscripts and implicit arguments, see #333
Remark on implicit dependencies, see #333
add 0ad2aba and 37b78ef to errata
fix typo
Update formal.tex

compared notation for judgmental equality with that in the intro
Update formal.tex
Update preliminaries.tex

changed notation for judge eq to agree with appendix
typo in 7.1.4, close #407
add b672a4d to errata
Merge pull request #405 from awodey/master

judgmental equality in Ch. 1
add b29ea2f to errata
Merge pull request #409 from mikeshulman/theorem7.1.4

typo in 7.1.4, close #407
Merge pull request #396 from mikeshulman/eq8.6.11

fix types in 8.6.11 and 8.6.12, close #391
Merge branch 'arguments'

Conflicts:
	errata.tex