--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Thu Jul 29 22:13:15 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Thu Jul 29 22:43:46 2010 +0200
@@ -88,8 +88,8 @@
("no_isar_proof", "isar_proof")]
val params_for_minimize =
- ["debug", "verbose", "overlord", "full_types", "explicit_apply",
- "isar_proof", "isar_shrink_factor", "minimize_timeout"]
+ ["debug", "verbose", "overlord", "full_types", "isar_proof",
+ "isar_shrink_factor", "minimize_timeout"]
val property_dependent_params = ["atps", "full_types", "timeout"]