src/HOL/Sledgehammer.thy

--- a/src/HOL/Sledgehammer.thy	Mon Jul 11 09:45:10 2016 +0200
+++ b/src/HOL/Sledgehammer.thy	Mon Jul 11 09:57:20 2016 +0200
@@ -8,7 +8,9 @@
 
 theory Sledgehammer
 imports Presburger SMT
-keywords "sledgehammer" :: diag and "sledgehammer_params" :: thy_decl
+keywords
+  "sledgehammer" :: diag and
+  "sledgehammer_params" :: thy_decl
 begin
 
 lemma size_ne_size_imp_ne: "size x \<noteq> size y \<Longrightarrow> x \<noteq> y"