changeset 48381 | 1b7d798460bb |
parent 48332 | 271a4a6af734 |
child 48383 | df75b2d7e26a |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri Jul 20 22:19:45 2012 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri Jul 20 22:19:45 2012 +0200 @@ -26,7 +26,7 @@ open Sledgehammer_Fact open Sledgehammer_Provers open Sledgehammer_Minimize -open Sledgehammer_Filter_MaSh +open Sledgehammer_MaSh open Sledgehammer_Run val runN = "run"