
diff -r 2c6851248b3f -r 542ff50555f5 Nominal/Nominal2_Base.thy
--- a/Nominal/Nominal2_Base.thy	Mon May 09 04:49:58 2011 +0100
+++ b/Nominal/Nominal2_Base.thy	Tue May 10 07:47:06 2011 +0100
@@ -743,7 +743,6 @@
 text {* provides perm_simp methods *}
 
 use "nominal_permeq.ML"
-setup Nominal_Permeq.setup
 
 method_setup perm_simp =
  {* Nominal_Permeq.args_parser >> Nominal_Permeq.perm_simp_meth *}




