--- a/Nominal/Ex/SingleLet.thy	Sat Sep 18 05:13:42 2010 +0800
+++ b/Nominal/Ex/SingleLet.thy	Sat Sep 18 06:09:43 2010 +0800
@@ -2,11 +2,6 @@
 imports "../Nominal2" 
 begin
 
-ML {*
-Inductive.unpartition_rules
-*}
-
-
 atom_decl name
 
 declare [[STEPS = 100]]