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.
datatype antiquotation: always bracket types with spaces in between
authorhaftmann
Fri, 20 Feb 2009 18:33:28 +0100
changeset 30025 52b93309fdeb
parent 30024 5e9d471afef3
child 30026 be13af70c27c
datatype antiquotation: always bracket types with spaces in between
src/HOL/Tools/datatype_package.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/datatype_package.ML	Fri Feb 20 18:29:11 2009 +0100
+++ b/src/HOL/Tools/datatype_package.ML	Fri Feb 20 18:33:28 2009 +0100
@@ -659,7 +659,7 @@
       | pretty_constr (co, [ty']) =
           (Pretty.block o Pretty.breaks)
             [Syntax.pretty_term ctxt (Const (co, ty' --> ty)),
-              Syntax.pretty_typ ctxt ty']
+              pretty_typ_br ty']
       | pretty_constr (co, tys) =
           (Pretty.block o Pretty.breaks)
             (Syntax.pretty_term ctxt (Const (co, tys ---> ty)) ::
isabelle