| changeset 38988 | 483879af0643 |
| parent 38985 | 162bbbea4e4d |
| child 38996 | 6905ba37376c |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Tue Aug 31 23:50:40 2010 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Tue Aug 31 23:50:59 2010 +0200 @@ -20,7 +20,7 @@ open ATP_Systems open Sledgehammer_Util open Sledgehammer -open Sledgehammer_Fact_Minimize +open Sledgehammer_Minimize (** Sledgehammer commands **)