align defn of ackermann function with wikipedia, close #360
Clarify in what sense variables in 1.11 are "unnamed", #347
add 1e868fa to errata
Add fe4641b to errata
Mention why 4.9.2 uses univalence, close #366
add aba76c8 to errata
Merge pull request #369 from mikeshulman/nontrivial4.9.2

Mention why 4.9.2 uses univalence, close #366
Merge pull request #367 from mikeshulman/ackermann

align defn of ackermann function with wikipedia, close #360
Merge pull request #368 from mikeshulman/unnamed

Clarify in what sense variables in 1.11 are "unnamed", #347
A script to automatically check whether label numbers have changed
Fix a typo: "Athough"
Merge pull request #373 from rwbarton/section-A.4

Fix a typo: "Athough"
Typo in 1.6: f out of scope, should have been g

The variable f is bound on the right-hand side, and is instantiated with
an expression containing g. Thus, post-substitution, the expression
should contain g, and not f.
Consistent ordering: 0_2 then 1_2; close #357
add 433f87e to errata
instructions for "make labelcheck" and errata numbers in CONTRIBUTING.md
add 7fdadbf to errata
Merge pull request #374 from gelisam/master

Typo in 1.6, f instead of g when verifying that ac is well-typed.
more specific erratum for 7fdadbf
more specific description of columns in the errata file