tuned headers;
authorwenzelm
Fri Jan 31 14:33:02 2014 +0100 (2014-01-31)
changeset 55210d1e3b708d74b
parent 55209 bfafffd5421d
child 55211 5d027af93a08
tuned headers;
src/HOL/Library/bnf_decl.ML
src/HOL/Wfrec.thy
src/HOL/Word/Bit_Comparison.thy
src/HOL/Word/Bits.thy
src/HOL/Word/Bits_Bit.thy
     1.1 --- a/src/HOL/Library/bnf_decl.ML	Fri Jan 31 13:45:39 2014 +0100
     1.2 +++ b/src/HOL/Library/bnf_decl.ML	Fri Jan 31 14:33:02 2014 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/BNF/Tools/bnf_decl.ML
     1.5 +(*  Title:      HOL/Library/bnf_decl.ML
     1.6      Author:     Dmitriy Traytel, TU Muenchen
     1.7      Copyright   2013
     1.8  
     2.1 --- a/src/HOL/Wfrec.thy	Fri Jan 31 13:45:39 2014 +0100
     2.2 +++ b/src/HOL/Wfrec.thy	Fri Jan 31 14:33:02 2014 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      HOL/Library/Wfrec.thy
     2.5 +(*  Title:      HOL/Wfrec.thy
     2.6      Author:     Tobias Nipkow
     2.7      Author:     Lawrence C Paulson
     2.8      Author:     Konrad Slind
     3.1 --- a/src/HOL/Word/Bit_Comparison.thy	Fri Jan 31 13:45:39 2014 +0100
     3.2 +++ b/src/HOL/Word/Bit_Comparison.thy	Fri Jan 31 14:33:02 2014 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      HOL/SPARK/SPARK.thy
     3.5 +(*  Title:      HOL/Word/Bit_Comparison.thy
     3.6      Author:     Stefan Berghofer
     3.7      Copyright:  secunet Security Networks AG
     3.8  
     4.1 --- a/src/HOL/Word/Bits.thy	Fri Jan 31 13:45:39 2014 +0100
     4.2 +++ b/src/HOL/Word/Bits.thy	Fri Jan 31 14:33:02 2014 +0100
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      HOL/Word/Bit_Operations.thy
     4.5 +(*  Title:      HOL/Word/Bits.thy
     4.6      Author:     Author: Brian Huffman, PSU and Gerwin Klein, NICTA
     4.7  *)
     4.8  
     5.1 --- a/src/HOL/Word/Bits_Bit.thy	Fri Jan 31 13:45:39 2014 +0100
     5.2 +++ b/src/HOL/Word/Bits_Bit.thy	Fri Jan 31 14:33:02 2014 +0100
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      HOL/Word/Bit_Bit.thy
     5.5 +(*  Title:      HOL/Word/Bits_Bit.thy
     5.6      Author:     Author: Brian Huffman, PSU and Gerwin Klein, NICTA
     5.7  *)
     5.8