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 =