src/HOL/Sledgehammer.thy

     Author:     Lawrence C. Paulson, Cambridge University Computer Laboratory
     Author:     Jia Meng, Cambridge University Computer Laboratory and NICTA
     Author:     Jasmin Blanchette, TU Muenchen
 *)
 
-header {* Sledgehammer: Isabelle--ATP Linkup *}
+section {* Sledgehammer: Isabelle--ATP Linkup *}
 
 theory Sledgehammer
 imports Presburger SMT
 keywords "sledgehammer" :: diag and "sledgehammer_params" :: thy_decl
 begin