Three corrections to unfocused admissibility figures - a missing fuseL proof term, N that should have been N_1, and a rogue type annotation.
A rule wasn't dashed in Figure 2.7 that needed to be (application of eta)
Spelling of succedent
Change tex to be NOT OFFICIAL THESIS ANYMORE ALERT
Fix bug in Figure 4.10 (missing prime on a \sigma). Bug report by cmartens.
Clarify Definition 3.1 as being disjunctive. I have a sneaking feeling I did this in a lot of places (cmartens)
HOW AM I SO BAD AT GETTING THIS ONE SENTENCE IN MY ACKNWOLEDGEMENTS CORRECT?
Remove suprious 'a' from Theorem 2.6
oh I already fixed that; revert to version in the repo