Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removed include_min_comb and include_combS.
authormengj
Wed, 20 Sep 2006 13:53:03 +0200
changeset 20643 267f30cbe2cb
parent 20642 cfe2b0803a51
child 20644 ff938c7b15e8
Removed include_min_comb and include_combS.
src/HOL/Tools/res_atp.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/res_atp.ML	Wed Sep 20 13:02:30 2006 +0200
+++ b/src/HOL/Tools/res_atp.ML	Wed Sep 20 13:53:03 2006 +0200
@@ -125,8 +125,6 @@
     in
 	not (tp_level = ResHolClause.T_NONE)
     end;
-val include_combS = ResHolClause.include_combS;
-val include_min_comb = ResHolClause.include_min_comb;
 
 fun atp_input_file () =
     let val file = !problem_name
isabelle