Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/res_atp.ML
changeset 20643 267f30cbe2cb
parent 20532 64181717e37c
child 20661 46832fee1215 
--- 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