src/HOL/Main.thy
changeset 15584 3478bb4f93ff
parent 15531 08c8dad8e399
child 15872 8336ff711d80
     1.1 --- a/src/HOL/Main.thy	Mon Mar 07 19:25:13 2005 +0100
     1.2 +++ b/src/HOL/Main.thy	Mon Mar 07 19:30:53 2005 +0100
     1.3 @@ -83,7 +83,8 @@
     1.4    explanation of these parameters, see 'HOL/Refute.thy'.
     1.5  *}
     1.6  
     1.7 -refute_params [minsize=1,
     1.8 +refute_params ["itself"=1,
     1.9 +               minsize=1,
    1.10                 maxsize=8,
    1.11                 maxvars=10000,
    1.12                 maxtime=60,