Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/TPTP/MaSh_Export.thy
changeset 48286 788c66a40b32
parent 48251 6cdcfbddc077
child 48296 e7f01b7e244e
equal deleted inserted replaced
48285:902ab51dd12a 48286:788c66a40b32 
     3 *)
 
     3 *)
 
     4 
     4 
     5 header {* MaSh Exporter *}
 
     5 header {* MaSh Exporter *}
 
     6 
     6 
     7 theory MaSh_Export
 
     7 theory MaSh_Export
 
     8 imports ATP_Theory_Export
 
     8 imports Complex_Main
 
     9 uses "mash_export.ML"
 
     9 uses "mash_export.ML"
 
    10 begin
 
    10 begin
 
    11 
    11 
    12 sledgehammer_params
 
    12 sledgehammer_params
 
    13   [provers = e, max_relevant = 40, strict, dont_slice, type_enc = poly_guards??,
 
    13   [provers = e, max_relevant = 40, strict, dont_slice, type_enc = poly_guards??,
isabelle