--- a/Pearl-jv/Paper.thy	Sat Sep 04 06:48:14 2010 +0800
+++ b/Pearl-jv/Paper.thy	Sat Sep 04 07:28:35 2010 +0800
@@ -2,7 +2,6 @@
 theory Paper
 imports "../Nominal-General/Nominal2_Base" 
         "../Nominal-General/Nominal2_Eqvt"
-        "../Nominal-General/Nominal2_Supp" 
         "../Nominal-General/Atoms" 
         "LaTeXsugar"
 begin