--- a/src/HOL/TPTP/mash_eval.ML Mon Jun 02 11:59:49 2014 +0200
+++ b/src/HOL/TPTP/mash_eval.ML Mon Jun 02 11:59:50 2014 +0200
@@ -15,10 +15,8 @@
val MeSh_IsarN : string
val MeSh_ProverN : string
val IsarN : string
- val evaluate_mash_suggestions :
- Proof.context -> params -> int * int option -> bool -> string list
- -> string option -> string -> string -> string -> string -> string -> string
- -> unit
+ val evaluate_mash_suggestions : Proof.context -> params -> int * int option -> bool ->
+ string list -> string option -> string -> string -> string -> string -> string -> string -> unit
end;
structure MaSh_Eval : MASH_EVAL =