--- a/src/HOL/Library/bnf_decl.ML Fri Jan 31 13:45:39 2014 +0100
+++ b/src/HOL/Library/bnf_decl.ML Fri Jan 31 14:33:02 2014 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/BNF/Tools/bnf_decl.ML
+(* Title: HOL/Library/bnf_decl.ML
Author: Dmitriy Traytel, TU Muenchen
Copyright 2013
--- a/src/HOL/Wfrec.thy Fri Jan 31 13:45:39 2014 +0100
+++ b/src/HOL/Wfrec.thy Fri Jan 31 14:33:02 2014 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/Library/Wfrec.thy
+(* Title: HOL/Wfrec.thy
Author: Tobias Nipkow
Author: Lawrence C Paulson
Author: Konrad Slind
--- a/src/HOL/Word/Bit_Comparison.thy Fri Jan 31 13:45:39 2014 +0100
+++ b/src/HOL/Word/Bit_Comparison.thy Fri Jan 31 14:33:02 2014 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/SPARK/SPARK.thy
+(* Title: HOL/Word/Bit_Comparison.thy
Author: Stefan Berghofer
Copyright: secunet Security Networks AG
--- a/src/HOL/Word/Bits.thy Fri Jan 31 13:45:39 2014 +0100
+++ b/src/HOL/Word/Bits.thy Fri Jan 31 14:33:02 2014 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/Word/Bit_Operations.thy
+(* Title: HOL/Word/Bits.thy
Author: Author: Brian Huffman, PSU and Gerwin Klein, NICTA
*)
--- 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
*)