src/HOL/Word/Bits_Int.thy

--- a/src/HOL/Word/Bits_Int.thy	Sun Nov 02 16:50:42 2014 +0100
+++ b/src/HOL/Word/Bits_Int.thy	Sun Nov 02 16:54:06 2014 +0100
@@ -6,7 +6,7 @@
   and converting them to and from lists of bools.
 *) 
 
-header {* Bitwise Operations on Binary Integers *}
+section {* Bitwise Operations on Binary Integers *}
 
 theory Bits_Int
 imports Bits Bit_Representation