src/HOL/Auth/Guard/Guard_Shared.thy

--- a/src/HOL/Auth/Guard/Guard_Shared.thy	Sun Nov 02 18:21:14 2014 +0100
+++ b/src/HOL/Auth/Guard/Guard_Shared.thy	Sun Nov 02 18:21:45 2014 +0100
@@ -3,7 +3,7 @@
     Copyright   2002  University of Cambridge
 *)
 
-header{*lemmas on guarded messages for protocols with symmetric keys*}
+section{*lemmas on guarded messages for protocols with symmetric keys*}
 
 theory Guard_Shared imports Guard GuardK "../Shared" begin