src/HOL/Library/Refute.thy
changeset 58825 2065f49da190
parent 54556 dd511ddcb203
child 58881 b9556a055632
     1.1 --- a/src/HOL/Library/Refute.thy	Wed Oct 29 15:28:27 2014 +0100
     1.2 +++ b/src/HOL/Library/Refute.thy	Wed Oct 29 17:01:44 2014 +0100
     1.3 @@ -13,7 +13,6 @@
     1.4  begin
     1.5  
     1.6  ML_file "refute.ML"
     1.7 -setup Refute.setup
     1.8  
     1.9  refute_params
    1.10   [itself = 1,