src/HOL/Tools/ATP_Manager/atp_manager.ML
changeset 36143 6490319b1703
parent 36064 48aec67c284f
child 36167 c1a35be8e476
     1.1 --- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Wed Apr 14 18:23:51 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Wed Apr 14 21:22:13 2010 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4    type params =
     1.5      {debug: bool,
     1.6       verbose: bool,
     1.7 +     overlord: bool,
     1.8       atps: string list,
     1.9       full_types: bool,
    1.10       respect_no_atp: bool,
    1.11 @@ -64,6 +65,7 @@
    1.12  type params =
    1.13    {debug: bool,
    1.14     verbose: bool,
    1.15 +   overlord: bool,
    1.16     atps: string list,
    1.17     full_types: bool,
    1.18     respect_no_atp: bool,