1 _{res} -> _{\textrm{res}} etc.; same for =^{def}?

     2 

     3 Nominal Isabelle view, rather than functional programming view

     4 (e.g. first sentence of Abstract and Intro)

     5 

     6 

     7 :: for cons might need some explanations, esp. that it's also used later

     8 next to labels in nominal types (e.g. x::name t::lam).

     9 

    10 

    11 Ott-tool -> Ott tool (throughout)

    12 

    13 I didn't quite get top of second column, p. 6

    14 

    15 the equation in the first actuall bullet on p. 8 lacks it =?

    16 

    17 missing v. spaces, top of 2nd col p. 8