src/HOL/Sledgehammer.thy

--- a/src/HOL/Sledgehammer.thy	Sat Jul 18 21:44:18 2015 +0200
+++ b/src/HOL/Sledgehammer.thy	Sat Jul 18 22:58:50 2015 +0200
@@ -4,7 +4,7 @@
     Author:     Jasmin Blanchette, TU Muenchen
 *)
 
-section {* Sledgehammer: Isabelle--ATP Linkup *}
+section \<open>Sledgehammer: Isabelle--ATP Linkup\<close>
 
 theory Sledgehammer
 imports Presburger SMT