src/HOL/Main.thy

--- a/src/HOL/Main.thy	Mon Mar 07 19:25:13 2005 +0100
+++ b/src/HOL/Main.thy	Mon Mar 07 19:30:53 2005 +0100
@@ -83,7 +83,8 @@
   explanation of these parameters, see 'HOL/Refute.thy'.
 *}
 
-refute_params [minsize=1,
+refute_params ["itself"=1,
+               minsize=1,
                maxsize=8,
                maxvars=10000,
                maxtime=60,