# HG changeset patch
# User wenzelm
# Date 1526385459 -7200
# Node ID 6163c90694efaf3676469286747a3383cd83f718
# Parent  2af1f142f8555e838a6c06ea3dc6a2c9a59809c4
tuned headers;

diff -r 2af1f142f855 -r 6163c90694ef src/HOL/Analysis/Cartesian_Space.thy
--- a/src/HOL/Analysis/Cartesian_Space.thy	Tue May 15 11:33:43 2018 +0200
+++ b/src/HOL/Analysis/Cartesian_Space.thy	Tue May 15 13:57:39 2018 +0200
@@ -1,10 +1,11 @@
-(* Title:   Cartesian_Space.thy
-   Author:  Amine Chaieb, University of Cambridge
-   Author:  Jose Divasón <jose.divasonm at unirioja.es>
-   Author:  Jesús Aransay <jesus-maria.aransay at unirioja.es>
-   Author:  Johannes Hölzl, VU Amsterdam
-   Author:  Fabian Immler, TUM
+(*  Title:      HOL/Analysis/Cartesian_Space.thy
+    Author:     Amine Chaieb, University of Cambridge
+    Author:     Jose Divasón <jose.divasonm at unirioja.es>
+    Author:     Jesús Aransay <jesus-maria.aransay at unirioja.es>
+    Author:     Johannes Hölzl, VU Amsterdam
+    Author:     Fabian Immler, TUM
 *)
+
 theory Cartesian_Space
   imports
     Finite_Cartesian_Product Linear_Algebra
diff -r 2af1f142f855 -r 6163c90694ef src/HOL/Computational_Algebra/Group_Closure.thy
--- a/src/HOL/Computational_Algebra/Group_Closure.thy	Tue May 15 11:33:43 2018 +0200
+++ b/src/HOL/Computational_Algebra/Group_Closure.thy	Tue May 15 13:57:39 2018 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Computational_Algebra/Field_as_Ring.thy
+(*  Title:      HOL/Computational_Algebra/Group_Closure.thy
     Author:     Johannes Hoelzl, TU Muenchen
     Author:     Florian Haftmann, TU Muenchen
 *)
diff -r 2af1f142f855 -r 6163c90694ef src/HOL/Hull.thy
--- a/src/HOL/Hull.thy	Tue May 15 11:33:43 2018 +0200
+++ b/src/HOL/Hull.thy	Tue May 15 13:57:39 2018 +0200
@@ -1,8 +1,8 @@
-(* Title:   Hull.thy
-   Author:  Amine Chaieb, University of Cambridge
-   Author:  Jose Divasón <jose.divasonm at unirioja.es>
-   Author:  Jesús Aransay <jesus-maria.aransay at unirioja.es>
-   Author:  Johannes Hölzl, VU Amsterdam
+(*  Title:      HOL/Hull.thy
+    Author:     Amine Chaieb, University of Cambridge
+    Author:     Jose Divasón <jose.divasonm at unirioja.es>
+    Author:     Jesús Aransay <jesus-maria.aransay at unirioja.es>
+    Author:     Johannes Hölzl, VU Amsterdam
 *)
 
 theory Hull
diff -r 2af1f142f855 -r 6163c90694ef src/HOL/Library/FuncSet.thy
--- a/src/HOL/Library/FuncSet.thy	Tue May 15 11:33:43 2018 +0200
+++ b/src/HOL/Library/FuncSet.thy	Tue May 15 13:57:39 2018 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/FuncSet.thy
+(*  Title:      HOL/Library/FuncSet.thy
     Author:     Florian Kammueller and Lawrence C Paulson, Lukas Bulwahn
 *)
 
diff -r 2af1f142f855 -r 6163c90694ef src/HOL/Modules.thy
--- a/src/HOL/Modules.thy	Tue May 15 11:33:43 2018 +0200
+++ b/src/HOL/Modules.thy	Tue May 15 13:57:39 2018 +0200
@@ -1,9 +1,9 @@
-(* Title:   Modules.thy
-   Author:  Amine Chaieb, University of Cambridge
-   Author:  Jose Divasón <jose.divasonm at unirioja.es>
-   Author:  Jesús Aransay <jesus-maria.aransay at unirioja.es>
-   Author:  Johannes Hölzl, VU Amsterdam
-   Author: Fabian Immler, TUM
+(*  Title:      HOL/Modules.thy
+    Author:     Amine Chaieb, University of Cambridge
+    Author:     Jose Divasón <jose.divasonm at unirioja.es>
+    Author:     Jesús Aransay <jesus-maria.aransay at unirioja.es>
+    Author:     Johannes Hölzl, VU Amsterdam
+    Author:     Fabian Immler, TUM
 *)
 
 section \<open>Modules\<close>
diff -r 2af1f142f855 -r 6163c90694ef src/HOL/Vector_Spaces.thy
--- a/src/HOL/Vector_Spaces.thy	Tue May 15 11:33:43 2018 +0200
+++ b/src/HOL/Vector_Spaces.thy	Tue May 15 13:57:39 2018 +0200
@@ -1,9 +1,9 @@
-(* Title:   Vector_Spaces.thy
-   Author:  Amine Chaieb, University of Cambridge
-   Author:  Jose Divasón <jose.divasonm at unirioja.es>
-   Author:  Jesús Aransay <jesus-maria.aransay at unirioja.es>
-   Author:  Johannes Hölzl, VU Amsterdam
-   Author: Fabian Immler, TUM
+(*  Title:      HOL/Vector_Spaces.thy
+    Author:     Amine Chaieb, University of Cambridge
+    Author:     Jose Divasón <jose.divasonm at unirioja.es>
+    Author:     Jesús Aransay <jesus-maria.aransay at unirioja.es>
+    Author:     Johannes Hölzl, VU Amsterdam
+    Author:     Fabian Immler, TUM
 *)
 
 section \<open>Vector Spaces\<close>
diff -r 2af1f142f855 -r 6163c90694ef src/Pure/Sessions.thy
--- a/src/Pure/Sessions.thy	Tue May 15 11:33:43 2018 +0200
+++ b/src/Pure/Sessions.thy	Tue May 15 13:57:39 2018 +0200
@@ -1,4 +1,4 @@
-(*  Title:      Pure/Thy/Sessions.thy
+(*  Title:      Pure/Sessions.thy
     Author:     Makarius
 
 PIDE markup for session ROOT.