diff -r d2e929f51fa9 -r 39f8d405d7a2 PAPER-TODO
--- a/PAPER-TODO	Sun Aug 29 01:45:07 2010 +0800
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,17 +0,0 @@
-_{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 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