--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML Thu Dec 01 13:34:13 2011 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML Thu Dec 01 13:34:14 2011 +0100
@@ -34,6 +34,7 @@
isar_proof: bool,
isar_shrink_factor: int,
slice: bool,
+ minimize: bool option,
timeout: Time.time,
preplay_timeout: Time.time,
expect: string}
@@ -297,6 +298,7 @@
isar_proof: bool,
isar_shrink_factor: int,
slice: bool,
+ minimize: bool option,
timeout: Time.time,
preplay_timeout: Time.time,
expect: string}