diff -r 8a6cac7c7247 -r 38db8ddc0f57 src/HOL/Bali/AxExample.thy
--- a/src/HOL/Bali/AxExample.thy	Sun Nov 02 17:58:35 2014 +0100
+++ b/src/HOL/Bali/AxExample.thy	Sun Nov 02 18:16:19 2014 +0100
@@ -2,7 +2,7 @@
     Author:     David von Oheimb
 *)
 
-header {* Example of a proof based on the Bali axiomatic semantics *}
+subsection {* Example of a proof based on the Bali axiomatic semantics *}
 
 theory AxExample
 imports AxSem Example