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 36473 8a5c99a1c965
parent 36403 9a4baad039c4
child 36482 1281be23bd23 
--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Tue Apr 27 10:51:39 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Tue Apr 27 11:24:47 2010 +0200
@@ -22,7 +22,6 @@
      relevance_threshold: real,
      convergence: real,
      theory_relevant: bool option,
-     higher_order: bool option,
      follow_defs: bool,
      isar_proof: bool,
      shrink_factor: int,
@@ -83,7 +82,6 @@
    relevance_threshold: real,
    convergence: real,
    theory_relevant: bool option,
-   higher_order: bool option,
    follow_defs: bool,
    isar_proof: bool,
    shrink_factor: int,
isabelle