src/HOL/Tools/record.ML
changeset 32763 ebfaf9e3c03a
parent 32761 54fee94b2b29
child 32764 690f9cccf232
--- 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 =