--- a/src/HOL/Word/Bits_Bit.thy Fri Jan 31 13:45:39 2014 +0100
+++ b/src/HOL/Word/Bits_Bit.thy Fri Jan 31 14:33:02 2014 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/Word/Bit_Bit.thy
+(* Title: HOL/Word/Bits_Bit.thy
Author: Author: Brian Huffman, PSU and Gerwin Klein, NICTA
*)