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_print.ML
changeset 54838 16511f84913c
parent 54829 157c7dfcbcd8
child 55168 948e8b7ea82f 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_print.ML	Fri Dec 20 16:22:10 2013 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_print.ML	Fri Dec 20 20:36:38 2013 +0100
@@ -159,6 +159,7 @@
     fun by_method meth = "by " ^
       (case meth of
         Simp_Method => "simp"
+      | Simp_Size_Method => "(simp add: size_ne_size_imp_ne)"
       | Auto_Method => "auto"
       | Fastforce_Method => "fastforce"
       | Force_Method => "force"
isabelle