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/ATP_Manager/atp_manager.ML
changeset 36220 f3655a3ae1ab
parent 36184 54a9c0679079
child 36223 217ca1273786 
--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Mon Apr 19 10:15:02 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Mon Apr 19 10:45:08 2010 +0200
@@ -18,7 +18,7 @@
      respect_no_atp: bool,
      relevance_threshold: real,
      convergence: real,
-     theory_const: bool option,
+     theory_relevant: bool option,
      higher_order: bool option,
      follow_defs: bool,
      isar_proof: bool,
@@ -71,7 +71,7 @@
    respect_no_atp: bool,
    relevance_threshold: real,
    convergence: real,
-   theory_const: bool option,
+   theory_relevant: bool option,
    higher_order: bool option,
    follow_defs: bool,
    isar_proof: bool,
isabelle