(* Title: HOL/TPTP/MaSh_Import.thy Author: Jasmin Blanchette, TU Muenchen *) header {* MaSh Importer *} theory MaSh_Import imports MaSh_Export uses "mash_import.ML" begin end