# HG changeset patch
# User webertj
# Date 1110220253 -3600
# Node ID 3478bb4f93ff5a3d7519d55b06e0f25c42365b79
# Parent  256c5e6b314f59f1e7e6f2322b20825591e65ee9
refute_params: default value itself=1 added (for type classes)

diff -r 256c5e6b314f -r 3478bb4f93ff 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,