# HG changeset patch
# User wenzelm
# Date 1254253009 -7200
# Node ID ebfaf9e3c03adbbafefcd66bf1d1062634c90439
# Parent  5f485f98652faa23b69fbb6f8dd1944fe7a12b0c
tuned header;

diff -r 5f485f98652f -r ebfaf9e3c03a 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 *}
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 =