--- a/Pearl-jv/Paper.thy	Fri Sep 03 22:35:35 2010 +0800
+++ b/Pearl-jv/Paper.thy	Sat Sep 04 05:43:03 2010 +0800
@@ -44,6 +44,8 @@
 section {* Introduction *}
 
 text {*
+  TODO: write about supp of finite sets
+
   Nominal Isabelle provides a proving infratructure for
   convenient reasoning about programming languages. At its core Nominal
   Isabelle is based on the nominal logic work by Pitts at al