src/HOL/Record.thy

--- a/src/HOL/Record.thy	Tue Sep 29 21:36:33 2009 +0200
+++ b/src/HOL/Record.thy	Tue Sep 29 21:36:49 2009 +0200
@@ -1,6 +1,8 @@
 (*  Title:      HOL/Record.thy
-    Authors:    Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen
-                Thomas Sewell, NICTA
+    Author:     Wolfgang Naraschewski, TU Muenchen
+    Author:     Markus Wenzel, TU Muenchen
+    Author:     Norbert Schirmer, TU Muenchen
+    Author:     Thomas Sewell, NICTA
 *)
 
 header {* Extensible records with structural subtyping *}