--- a/src/HOL/TPTP/mash_eval.ML Fri Jan 31 10:02:36 2014 +0100
+++ b/src/HOL/TPTP/mash_eval.ML Fri Jan 31 10:23:32 2014 +0100
@@ -29,7 +29,7 @@
open Sledgehammer_MePo
open Sledgehammer_MaSh
open Sledgehammer_Provers
-open Sledgehammer_Isar
+open Sledgehammer_Commands
val prefix = Library.prefix