diff -r 5f485f98652f -r ebfaf9e3c03a src/HOL/Tools/record.ML
--- a/src/HOL/Tools/record.ML	Tue Sep 29 21:36:33 2009 +0200
+++ b/src/HOL/Tools/record.ML	Tue Sep 29 21:36:49 2009 +0200
@@ -1,8 +1,10 @@
 (*  Title:      HOL/Tools/record.ML
-    Authors:    Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen
-                Thomas Sewell, NICTA
-
-Extensible records with structural subtyping in HOL.
+    Author:     Wolfgang Naraschewski, TU Muenchen
+    Author:     Markus Wenzel, TU Muenchen
+    Author:     Norbert Schirmer, TU Muenchen
+    Author:     Thomas Sewell, NICTA
+
+Extensible records with structural subtyping.
 *)
 
 signature BASIC_RECORD =