src/HOL/Tools/res_atp.ML
changeset 20643 267f30cbe2cb
parent 20532 64181717e37c
child 20661 46832fee1215
     1.1 --- a/src/HOL/Tools/res_atp.ML	Wed Sep 20 13:02:30 2006 +0200
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Wed Sep 20 13:53:03 2006 +0200
     1.3 @@ -125,8 +125,6 @@
     1.4      in
     1.5  	not (tp_level = ResHolClause.T_NONE)
     1.6      end;
     1.7 -val include_combS = ResHolClause.include_combS;
     1.8 -val include_min_comb = ResHolClause.include_min_comb;
     1.9  
    1.10  fun atp_input_file () =
    1.11      let val file = !problem_name