--- a/src/HOL/TPTP/mash_eval.ML Thu Jan 31 17:54:05 2013 +0100
+++ b/src/HOL/TPTP/mash_eval.ML Thu Jan 31 18:04:19 2013 +0100
@@ -9,6 +9,7 @@
sig
type params = Sledgehammer_Provers.params
+ val MePoN : string
val MaSh_IsarN : string
val MaSh_ProverN : string
val MeSh_IsarN : string