Removed include_min_comb and include_combS.
authormengj
Wed Sep 20 13:53:03 2006 +0200 (2006-09-20)
changeset 20643267f30cbe2cb
parent 20642 cfe2b0803a51
child 20644 ff938c7b15e8
Removed include_min_comb and include_combS.
src/HOL/Tools/res_atp.ML
     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