
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 *}
 




