tuned headers;
authorwenzelm
Tue May 15 13:57:39 2018 +0200 (12 months ago)
changeset 681896163c90694ef
parent 68188 2af1f142f855
child 68190 695ff8a207b0
child 68192 73a1b393d6f9
tuned headers;
src/HOL/Analysis/Cartesian_Space.thy
src/HOL/Computational_Algebra/Group_Closure.thy
src/HOL/Hull.thy
src/HOL/Library/FuncSet.thy
src/HOL/Modules.thy
src/HOL/Vector_Spaces.thy
src/Pure/Sessions.thy
     1.1 --- a/src/HOL/Analysis/Cartesian_Space.thy	Tue May 15 11:33:43 2018 +0200
     1.2 +++ b/src/HOL/Analysis/Cartesian_Space.thy	Tue May 15 13:57:39 2018 +0200
     1.3 @@ -1,10 +1,11 @@
     1.4 -(* Title:   Cartesian_Space.thy
     1.5 -   Author:  Amine Chaieb, University of Cambridge
     1.6 -   Author:  Jose Divasón <jose.divasonm at unirioja.es>
     1.7 -   Author:  Jesús Aransay <jesus-maria.aransay at unirioja.es>
     1.8 -   Author:  Johannes Hölzl, VU Amsterdam
     1.9 -   Author:  Fabian Immler, TUM
    1.10 +(*  Title:      HOL/Analysis/Cartesian_Space.thy
    1.11 +    Author:     Amine Chaieb, University of Cambridge
    1.12 +    Author:     Jose Divasón <jose.divasonm at unirioja.es>
    1.13 +    Author:     Jesús Aransay <jesus-maria.aransay at unirioja.es>
    1.14 +    Author:     Johannes Hölzl, VU Amsterdam
    1.15 +    Author:     Fabian Immler, TUM
    1.16  *)
    1.17 +
    1.18  theory Cartesian_Space
    1.19    imports
    1.20      Finite_Cartesian_Product Linear_Algebra
     2.1 --- a/src/HOL/Computational_Algebra/Group_Closure.thy	Tue May 15 11:33:43 2018 +0200
     2.2 +++ b/src/HOL/Computational_Algebra/Group_Closure.thy	Tue May 15 13:57:39 2018 +0200
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      HOL/Computational_Algebra/Field_as_Ring.thy
     2.5 +(*  Title:      HOL/Computational_Algebra/Group_Closure.thy
     2.6      Author:     Johannes Hoelzl, TU Muenchen
     2.7      Author:     Florian Haftmann, TU Muenchen
     2.8  *)
     3.1 --- a/src/HOL/Hull.thy	Tue May 15 11:33:43 2018 +0200
     3.2 +++ b/src/HOL/Hull.thy	Tue May 15 13:57:39 2018 +0200
     3.3 @@ -1,8 +1,8 @@
     3.4 -(* Title:   Hull.thy
     3.5 -   Author:  Amine Chaieb, University of Cambridge
     3.6 -   Author:  Jose Divasón <jose.divasonm at unirioja.es>
     3.7 -   Author:  Jesús Aransay <jesus-maria.aransay at unirioja.es>
     3.8 -   Author:  Johannes Hölzl, VU Amsterdam
     3.9 +(*  Title:      HOL/Hull.thy
    3.10 +    Author:     Amine Chaieb, University of Cambridge
    3.11 +    Author:     Jose Divasón <jose.divasonm at unirioja.es>
    3.12 +    Author:     Jesús Aransay <jesus-maria.aransay at unirioja.es>
    3.13 +    Author:     Johannes Hölzl, VU Amsterdam
    3.14  *)
    3.15  
    3.16  theory Hull
     4.1 --- a/src/HOL/Library/FuncSet.thy	Tue May 15 11:33:43 2018 +0200
     4.2 +++ b/src/HOL/Library/FuncSet.thy	Tue May 15 13:57:39 2018 +0200
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      HOL/FuncSet.thy
     4.5 +(*  Title:      HOL/Library/FuncSet.thy
     4.6      Author:     Florian Kammueller and Lawrence C Paulson, Lukas Bulwahn
     4.7  *)
     4.8  
     5.1 --- a/src/HOL/Modules.thy	Tue May 15 11:33:43 2018 +0200
     5.2 +++ b/src/HOL/Modules.thy	Tue May 15 13:57:39 2018 +0200
     5.3 @@ -1,9 +1,9 @@
     5.4 -(* Title:   Modules.thy
     5.5 -   Author:  Amine Chaieb, University of Cambridge
     5.6 -   Author:  Jose Divasón <jose.divasonm at unirioja.es>
     5.7 -   Author:  Jesús Aransay <jesus-maria.aransay at unirioja.es>
     5.8 -   Author:  Johannes Hölzl, VU Amsterdam
     5.9 -   Author: Fabian Immler, TUM
    5.10 +(*  Title:      HOL/Modules.thy
    5.11 +    Author:     Amine Chaieb, University of Cambridge
    5.12 +    Author:     Jose Divasón <jose.divasonm at unirioja.es>
    5.13 +    Author:     Jesús Aransay <jesus-maria.aransay at unirioja.es>
    5.14 +    Author:     Johannes Hölzl, VU Amsterdam
    5.15 +    Author:     Fabian Immler, TUM
    5.16  *)
    5.17  
    5.18  section \<open>Modules\<close>
     6.1 --- a/src/HOL/Vector_Spaces.thy	Tue May 15 11:33:43 2018 +0200
     6.2 +++ b/src/HOL/Vector_Spaces.thy	Tue May 15 13:57:39 2018 +0200
     6.3 @@ -1,9 +1,9 @@
     6.4 -(* Title:   Vector_Spaces.thy
     6.5 -   Author:  Amine Chaieb, University of Cambridge
     6.6 -   Author:  Jose Divasón <jose.divasonm at unirioja.es>
     6.7 -   Author:  Jesús Aransay <jesus-maria.aransay at unirioja.es>
     6.8 -   Author:  Johannes Hölzl, VU Amsterdam
     6.9 -   Author: Fabian Immler, TUM
    6.10 +(*  Title:      HOL/Vector_Spaces.thy
    6.11 +    Author:     Amine Chaieb, University of Cambridge
    6.12 +    Author:     Jose Divasón <jose.divasonm at unirioja.es>
    6.13 +    Author:     Jesús Aransay <jesus-maria.aransay at unirioja.es>
    6.14 +    Author:     Johannes Hölzl, VU Amsterdam
    6.15 +    Author:     Fabian Immler, TUM
    6.16  *)
    6.17  
    6.18  section \<open>Vector Spaces\<close>
     7.1 --- a/src/Pure/Sessions.thy	Tue May 15 11:33:43 2018 +0200
     7.2 +++ b/src/Pure/Sessions.thy	Tue May 15 13:57:39 2018 +0200
     7.3 @@ -1,4 +1,4 @@
     7.4 -(*  Title:      Pure/Thy/Sessions.thy
     7.5 +(*  Title:      Pure/Sessions.thy
     7.6      Author:     Makarius
     7.7  
     7.8  PIDE markup for session ROOT.