src/HOL/Tools/ATP_Manager/atp_manager.ML
changeset 36235 61159615a0c5
parent 36231 bede2d49ba3b
child 36281 dbbf4d5d584d
     1.1 --- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Tue Apr 20 14:39:42 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Tue Apr 20 16:04:36 2010 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4       overlord: bool,
     1.5       atps: string list,
     1.6       full_types: bool,
     1.7 +     explicit_apply: bool,
     1.8       respect_no_atp: bool,
     1.9       relevance_threshold: real,
    1.10       convergence: real,
    1.11 @@ -69,6 +70,7 @@
    1.12     overlord: bool,
    1.13     atps: string list,
    1.14     full_types: bool,
    1.15 +   explicit_apply: bool,
    1.16     respect_no_atp: bool,
    1.17     relevance_threshold: real,
    1.18     convergence: real,