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