| changeset 45666 | d83797ef0d2d |
| parent 43794 | 49cbbe2768a8 |
| child 47005 | 421760a1efe7 |
--- a/src/Pure/consts.ML Mon Nov 28 20:39:08 2011 +0100 +++ b/src/Pure/consts.ML Mon Nov 28 22:05:32 2011 +0100 @@ -311,7 +311,8 @@ (* empty and merge *) -val empty = make_consts (Name_Space.empty_table Markup.constantN, Symtab.empty, Symtab.empty); +val empty = + make_consts (Name_Space.empty_table Isabelle_Markup.constantN, Symtab.empty, Symtab.empty); fun merge (Consts {decls = decls1, constraints = constraints1, rev_abbrevs = rev_abbrevs1},