diff -r 464dd13efff6 -r a71ace4a4bec PAPER-TODO
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/PAPER-TODO	Mon Apr 19 15:54:55 2010 +0200
@@ -0,0 +1,20 @@
+_{res} -> _{\textrm{res}} etc.; same for =^{def}?
+
+Nominal Isabelle view, rather than functional programming view
+(e.g. first sentence of Abstract and Intro)
+
+
+:: for cons might need some explanations, esp. that it's also used later
+next to labels in nominal types (e.g. x::name t::lam).
+
+
+Ott-tool -> Ott tool (throughout)
+
+I didn't quite get top of second column, p. 6
+
+"the problem Pottier and Cheney pointed out": I had forgotten it in the
+meantime
+
+the equation in the first actuall bullet on p. 8 lacks it =?
+
+missing v. spaces, top of 2nd col p. 8
\ No newline at end of file