src/HOL/thy_data.ML
changeset 4572 a259399ac328
parent 4491 34a53d0c8e8d
child 4784 06556ca5036d
     1.1 --- a/src/HOL/thy_data.ML	Wed Jan 14 10:30:44 1998 +0100
     1.2 +++ b/src/HOL/thy_data.ML	Wed Jan 14 10:31:32 1998 +0100
     1.3 @@ -7,9 +7,9 @@
     1.4  
     1.5  (*for records*)
     1.6  type record_info =
     1.7 - {args:     (string * sort) list,
     1.8 -  parent:   (typ list * string) option,
     1.9 -  fields:   (string * typ) list}
    1.10 + {args: (string * sort) list,
    1.11 +  parent: (typ list * string) option,
    1.12 +  fields: (string * typ) list}
    1.13  
    1.14  (*for datatypes*)
    1.15  type datatype_info =