changeset 48381 | 1b7d798460bb |
parent 48321 | c552d7f1720b |
child 48384 | 83dc102041e6 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML Fri Jul 20 22:19:45 2012 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_run.ML Fri Jul 20 22:19:45 2012 +0200 @@ -33,7 +33,7 @@ open Sledgehammer_Fact open Sledgehammer_Provers open Sledgehammer_Minimize -open Sledgehammer_Filter_MaSh +open Sledgehammer_MaSh val someN = "some" val noneN = "none"