src/HOL/Tools/ATP_Manager/atp_manager.ML
changeset 36064 48aec67c284f
parent 36063 cdc6855a6387
child 36143 6490319b1703
     1.1 --- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Mon Mar 29 18:44:24 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Mon Mar 29 19:49:57 2010 +0200
     1.3 @@ -21,6 +21,8 @@
     1.4       higher_order: bool option,
     1.5       follow_defs: bool,
     1.6       isar_proof: bool,
     1.7 +     modulus: int,
     1.8 +     sorts: bool,
     1.9       timeout: Time.time,
    1.10       minimize_timeout: Time.time}
    1.11    type problem =
    1.12 @@ -71,6 +73,8 @@
    1.13     higher_order: bool option,
    1.14     follow_defs: bool,
    1.15     isar_proof: bool,
    1.16 +   modulus: int,
    1.17 +   sorts: bool,
    1.18     timeout: Time.time,
    1.19     minimize_timeout: Time.time}
    1.20