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.
record: tuned output;
authorwenzelm
Fri, 24 Oct 1997 17:28:20 +0200 (1997-10-24)
changeset 4001 b6a3c2665c45
parent 4000 0614fdf0db20
child 4002 6b8abfdf3ec4
record: tuned output;
src/HOL/thy_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/thy_syntax.ML	Fri Oct 24 17:25:33 1997 +0200
+++ b/src/HOL/thy_syntax.ML	Fri Oct 24 17:28:20 1997 +0200
@@ -41,7 +41,7 @@
 val record_decl =
   name --$$ "=" -- optional (name --$$ "+" >> (parens o cat "Some")) "None" --
   repeat1 ((name --$$ "::" -- typ) >> mk_pair)
-  >> (fn ((x, y), zs) => space_implode " " [x, y, mk_list zs]);
+  >> (fn ((x, y), zs) => cat_lines [x, y, mk_big_list zs]);
 
 
 (** (co)inductive **)
isabelle