tuned;
authorwenzelm
Wed Jan 14 10:31:32 1998 +0100 (1998-01-14)
changeset 4572a259399ac328
parent 4571 6b02fc8a97f6
child 4573 fe504f608835
tuned;
src/HOL/thy_data.ML
     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 =