src/HOL/TPTP/mash_import.ML

moved MaSh into own files

(*  Title:      HOL/TPTP/mash_import.ML
    Author:     Jasmin Blanchette, TU Muenchen
    Copyright   2012

Import proof suggestions from MaSh (Machine-learning for Sledgehammer) and
evaluate them.
*)

signature MASH_IMPORT =
sig
end;

structure MaSh_Import : MASH_IMPORT =
struct
end;