--- a/src/HOL/Tools/ATP_Manager/atp_manager.ML Fri May 14 22:28:39 2010 +0200
+++ b/src/HOL/Tools/ATP_Manager/atp_manager.ML Fri May 14 22:29:50 2010 +0200
@@ -24,7 +24,7 @@
theory_relevant: bool option,
defs_relevant: bool,
isar_proof: bool,
- shrink_factor: int,
+ isar_shrink_factor: int,
timeout: Time.time,
minimize_timeout: Time.time}
type problem =
@@ -83,7 +83,7 @@
theory_relevant: bool option,
defs_relevant: bool,
isar_proof: bool,
- shrink_factor: int,
+ isar_shrink_factor: int,
timeout: Time.time,
minimize_timeout: Time.time}