src/HOL/Tools/ATP_Manager/atp_manager.ML
changeset 36924 ff01d3ae9ad4
parent 36922 12f87df9c1a5
child 36965 67ae217c6b5c
     1.1 --- a/src/HOL/Tools/ATP_Manager/atp_manager.ML	Fri May 14 22:28:39 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML	Fri May 14 22:29:50 2010 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4       theory_relevant: bool option,
     1.5       defs_relevant: bool,
     1.6       isar_proof: bool,
     1.7 -     shrink_factor: int,
     1.8 +     isar_shrink_factor: int,
     1.9       timeout: Time.time,
    1.10       minimize_timeout: Time.time}
    1.11    type problem =
    1.12 @@ -83,7 +83,7 @@
    1.13     theory_relevant: bool option,
    1.14     defs_relevant: bool,
    1.15     isar_proof: bool,
    1.16 -   shrink_factor: int,
    1.17 +   isar_shrink_factor: int,
    1.18     timeout: Time.time,
    1.19     minimize_timeout: Time.time}
    1.20