# HG changeset patch
# User wenzelm
# Date 1300118377 -3600
# Node ID 2dc6e382a58b0c7e20b3fff51f371f5e284ffaf1
# Parent  96cbc6379e5a5d08699b2a7d3a78ad7e0c6a23e6
standardized headers;

diff -r 96cbc6379e5a -r 2dc6e382a58b src/HOL/Library/Extended_Reals.thy
--- a/src/HOL/Library/Extended_Reals.thy	Mon Mar 14 15:29:10 2011 +0100
+++ b/src/HOL/Library/Extended_Reals.thy	Mon Mar 14 16:59:37 2011 +0100
@@ -1,8 +1,9 @@
-(* Title: src/HOL/Library/Extended_Reals.thy
-   Author: Johannes Hölzl; TU München
-   Author: Robert Himmelmann; TU München
-   Author: Armin Heller; TU München
-   Author: Bogdan Grechuk; University of Edinburgh *)
+(*  Title:      HOL/Library/Extended_Reals.thy
+    Author:     Johannes Hölzl, TU München
+    Author:     Robert Himmelmann, TU München
+    Author:     Armin Heller, TU München
+    Author:     Bogdan Grechuk, University of Edinburgh
+*)
 
 header {* Extended real number line *}
 
diff -r 96cbc6379e5a -r 2dc6e382a58b src/HOL/Multivariate_Analysis/Extended_Real_Limits.thy
--- a/src/HOL/Multivariate_Analysis/Extended_Real_Limits.thy	Mon Mar 14 15:29:10 2011 +0100
+++ b/src/HOL/Multivariate_Analysis/Extended_Real_Limits.thy	Mon Mar 14 16:59:37 2011 +0100
@@ -1,8 +1,9 @@
-(* Title: src/HOL/Multivariate_Analysis/Extended_Reals.thy
-   Author: Johannes Hölzl; TU München
-   Author: Robert Himmelmann; TU München
-   Author: Armin Heller; TU München
-   Author: Bogdan Grechuk; University of Edinburgh *)
+(*  Title:      HOL/Multivariate_Analysis/Extended_Real_Limits.thy
+    Author:     Johannes Hölzl, TU München
+    Author:     Robert Himmelmann, TU München
+    Author:     Armin Heller, TU München
+    Author:     Bogdan Grechuk, University of Edinburgh
+*)
 
 header {* Limits on the Extended real number line *}
 
diff -r 96cbc6379e5a -r 2dc6e382a58b src/HOL/Probability/Complete_Measure.thy
--- a/src/HOL/Probability/Complete_Measure.thy	Mon Mar 14 15:29:10 2011 +0100
+++ b/src/HOL/Probability/Complete_Measure.thy	Mon Mar 14 16:59:37 2011 +0100
@@ -1,6 +1,7 @@
-(*  Title:      Complete_Measure.thy
+(*  Title:      HOL/Probability/Complete_Measure.thy
     Author:     Robert Himmelmann, Johannes Hoelzl, TU Muenchen
 *)
+
 theory Complete_Measure
 imports Product_Measure
 begin
diff -r 96cbc6379e5a -r 2dc6e382a58b src/HOL/Probability/Sigma_Algebra.thy
--- a/src/HOL/Probability/Sigma_Algebra.thy	Mon Mar 14 15:29:10 2011 +0100
+++ b/src/HOL/Probability/Sigma_Algebra.thy	Mon Mar 14 16:59:37 2011 +0100
@@ -1,4 +1,4 @@
-(*  Title:      Sigma_Algebra.thy
+(*  Title:      HOL/Probability/Sigma_Algebra.thy
     Author:     Stefan Richter, Markus Wenzel, TU Muenchen
     Plus material from the Hurd/Coble measure theory development,
     translated by Lawrence Paulson.