Mercurial Mercurial > repos > isabelle / diff
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/Tools/Sledgehammer/sledgehammer_mash.ML
changeset 57281 bb671e6b740d
parent 57278 8f7d6f01a775
child 57291 1bac14e0a728 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Fri Jun 20 09:42:36 2014 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML	Fri Jun 20 09:55:31 2014 +0200
@@ -160,7 +160,7 @@
 | MaSh_SML_NB of bool * bool
 | MaSh_SML_NB_Py
 
-val default_MaSh_SML_NB = MaSh_SML_NB (false, false)
+val default_MaSh_SML_NB = MaSh_SML_NB (false, true)
 
 fun mash_engine () =
   let val flag1 = Options.default_string @{system_option MaSh} in
isabelle