# 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,