Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 14 Jan 1998 10:31:32 +0100
changeset 4572 a259399ac328
parent 4571 6b02fc8a97f6
child 4573 fe504f608835
tuned;
src/HOL/thy_data.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/thy_data.ML	Wed Jan 14 10:30:44 1998 +0100
+++ b/src/HOL/thy_data.ML	Wed Jan 14 10:31:32 1998 +0100
@@ -7,9 +7,9 @@
 
 (*for records*)
 type record_info =
- {args:     (string * sort) list,
-  parent:   (typ list * string) option,
-  fields:   (string * typ) list}
+ {args: (string * sort) list,
+  parent: (typ list * string) option,
+  fields: (string * typ) list}
 
 (*for datatypes*)
 type datatype_info =
isabelle