diff -r 5e6b2b23701a -r 0c5baf034d0e src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Sat May 30 11:57:36 2009 +0200
+++ b/src/HOL/HOL.thy	Sat May 30 12:52:57 2009 +0200
@@ -31,7 +31,7 @@
   ("Tools/recfun_codegen.ML")
 begin
 
-setup {* Intuitionistic.method_setup "iprover" *}
+setup {* Intuitionistic.method_setup @{binding iprover} *}
 
 
 subsection {* Primitive logic *}