tuned headers;
authorwenzelm
Thu May 30 23:29:33 2013 +0200 (2013-05-30)
changeset 52265bb907eba5902
parent 52264 cdba0c3cb4c2
child 52266 86d6f57c2c1e
child 52267 2a16957cd379
tuned headers;
src/HOL/Conditionally_Complete_Lattices.thy
src/HOL/Limits.thy
src/HOL/Tools/case_translation.ML
src/HOL/Topological_Spaces.thy
src/Tools/Code/code_symbol.ML
     1.1 --- a/src/HOL/Conditionally_Complete_Lattices.thy	Thu May 30 22:30:38 2013 +0200
     1.2 +++ b/src/HOL/Conditionally_Complete_Lattices.thy	Thu May 30 23:29:33 2013 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/Conditional_Complete_Lattices.thy
     1.5 +(*  Title:      HOL/Conditionally_Complete_Lattices.thy
     1.6      Author:     Amine Chaieb and L C Paulson, University of Cambridge
     1.7      Author:     Johannes Hölzl, TU München
     1.8  *)
     2.1 --- a/src/HOL/Limits.thy	Thu May 30 22:30:38 2013 +0200
     2.2 +++ b/src/HOL/Limits.thy	Thu May 30 23:29:33 2013 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      Limits.thy
     2.5 +(*  Title:      HOL/Limits.thy
     2.6      Author:     Brian Huffman
     2.7      Author:     Jacques D. Fleuriot, University of Cambridge
     2.8      Author:     Lawrence C Paulson
     3.1 --- a/src/HOL/Tools/case_translation.ML	Thu May 30 22:30:38 2013 +0200
     3.2 +++ b/src/HOL/Tools/case_translation.ML	Thu May 30 23:29:33 2013 +0200
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      Tools/case_translation.ML
     3.5 +(*  Title:      HOL/Tools/case_translation.ML
     3.6      Author:     Konrad Slind, Cambridge University Computer Laboratory
     3.7      Author:     Stefan Berghofer, TU Muenchen
     3.8      Author:     Dmitriy Traytel, TU Muenchen
     4.1 --- a/src/HOL/Topological_Spaces.thy	Thu May 30 22:30:38 2013 +0200
     4.2 +++ b/src/HOL/Topological_Spaces.thy	Thu May 30 23:29:33 2013 +0200
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      HOL/Basic_Topology.thy
     4.5 +(*  Title:      HOL/Topological_Spaces.thy
     4.6      Author:     Brian Huffman
     4.7      Author:     Johannes Hölzl
     4.8  *)
     5.1 --- a/src/Tools/Code/code_symbol.ML	Thu May 30 22:30:38 2013 +0200
     5.2 +++ b/src/Tools/Code/code_symbol.ML	Thu May 30 23:29:33 2013 +0200
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      Tools/Code/ML
     5.5 +(*  Title:      Tools/Code/code_symbol.ML
     5.6      Author:     Florian Haftmann, TU Muenchen
     5.7  
     5.8  Data related to symbols in programs: constants, type constructors, classes,