# HG changeset patch
# User wenzelm
# Date 1369949373 -7200
# Node ID bb907eba5902ddf79e1458edc665371409084c46
# Parent  cdba0c3cb4c264e39dee1cbfe8f5f2a820ff2708
tuned headers;

diff -r cdba0c3cb4c2 -r bb907eba5902 src/HOL/Conditionally_Complete_Lattices.thy
--- a/src/HOL/Conditionally_Complete_Lattices.thy	Thu May 30 22:30:38 2013 +0200
+++ b/src/HOL/Conditionally_Complete_Lattices.thy	Thu May 30 23:29:33 2013 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Conditional_Complete_Lattices.thy
+(*  Title:      HOL/Conditionally_Complete_Lattices.thy
     Author:     Amine Chaieb and L C Paulson, University of Cambridge
     Author:     Johannes Hölzl, TU München
 *)
diff -r cdba0c3cb4c2 -r bb907eba5902 src/HOL/Limits.thy
--- a/src/HOL/Limits.thy	Thu May 30 22:30:38 2013 +0200
+++ b/src/HOL/Limits.thy	Thu May 30 23:29:33 2013 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Limits.thy
+(*  Title:      HOL/Limits.thy
     Author:     Brian Huffman
     Author:     Jacques D. Fleuriot, University of Cambridge
     Author:     Lawrence C Paulson
diff -r cdba0c3cb4c2 -r bb907eba5902 src/HOL/Tools/case_translation.ML
--- a/src/HOL/Tools/case_translation.ML	Thu May 30 22:30:38 2013 +0200
+++ b/src/HOL/Tools/case_translation.ML	Thu May 30 23:29:33 2013 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Tools/case_translation.ML
+(*  Title:      HOL/Tools/case_translation.ML
     Author:     Konrad Slind, Cambridge University Computer Laboratory
     Author:     Stefan Berghofer, TU Muenchen
     Author:     Dmitriy Traytel, TU Muenchen
diff -r cdba0c3cb4c2 -r bb907eba5902 src/HOL/Topological_Spaces.thy
--- a/src/HOL/Topological_Spaces.thy	Thu May 30 22:30:38 2013 +0200
+++ b/src/HOL/Topological_Spaces.thy	Thu May 30 23:29:33 2013 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Basic_Topology.thy
+(*  Title:      HOL/Topological_Spaces.thy
     Author:     Brian Huffman
     Author:     Johannes Hölzl
 *)
diff -r cdba0c3cb4c2 -r bb907eba5902 src/Tools/Code/code_symbol.ML
--- a/src/Tools/Code/code_symbol.ML	Thu May 30 22:30:38 2013 +0200
+++ b/src/Tools/Code/code_symbol.ML	Thu May 30 23:29:33 2013 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Tools/Code/ML
+(*  Title:      Tools/Code/code_symbol.ML
     Author:     Florian Haftmann, TU Muenchen
 
 Data related to symbols in programs: constants, type constructors, classes,