src/HOL/Tools/record.ML
changeset 32763 ebfaf9e3c03a
parent 32761 54fee94b2b29
child 32764 690f9cccf232
     1.1 --- a/src/HOL/Tools/record.ML	Tue Sep 29 21:36:33 2009 +0200
     1.2 +++ b/src/HOL/Tools/record.ML	Tue Sep 29 21:36:49 2009 +0200
     1.3 @@ -1,8 +1,10 @@
     1.4  (*  Title:      HOL/Tools/record.ML
     1.5 -    Authors:    Wolfgang Naraschewski, Norbert Schirmer and Markus Wenzel, TU Muenchen
     1.6 -                Thomas Sewell, NICTA
     1.7 -
     1.8 -Extensible records with structural subtyping in HOL.
     1.9 +    Author:     Wolfgang Naraschewski, TU Muenchen
    1.10 +    Author:     Markus Wenzel, TU Muenchen
    1.11 +    Author:     Norbert Schirmer, TU Muenchen
    1.12 +    Author:     Thomas Sewell, NICTA
    1.13 +
    1.14 +Extensible records with structural subtyping.
    1.15  *)
    1.16  
    1.17  signature BASIC_RECORD =