# HG changeset patch
# User wenzelm
# Date 1391175182 -3600
# Node ID d1e3b708d74bb2ff7f47d6d1a92f45640b9cf065
# Parent  bfafffd5421d2258985c342ab4d042e2de0c8b36
tuned headers;

diff -r bfafffd5421d -r d1e3b708d74b src/HOL/Library/bnf_decl.ML
--- 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
 
diff -r bfafffd5421d -r d1e3b708d74b src/HOL/Wfrec.thy
--- 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
diff -r bfafffd5421d -r d1e3b708d74b src/HOL/Word/Bit_Comparison.thy
--- 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
 
diff -r bfafffd5421d -r d1e3b708d74b src/HOL/Word/Bits.thy
--- 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
 *)
 
diff -r bfafffd5421d -r d1e3b708d74b src/HOL/Word/Bits_Bit.thy
--- 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
 *)