| changeset 50201 | c26369c9eda6 |
| parent 49687 | 4b9034f089eb |
| child 51701 | 1e29891759c4 |
--- a/src/Pure/type.ML Sun Nov 25 18:50:13 2012 +0100 +++ b/src/Pure/type.ML Sun Nov 25 19:49:24 2012 +0100 @@ -187,8 +187,8 @@ build_tsig (f (classes, default, types)); val empty_tsig = - build_tsig ((Name_Space.empty Isabelle_Markup.classN, Sorts.empty_algebra), [], - Name_Space.empty_table Isabelle_Markup.type_nameN); + build_tsig ((Name_Space.empty Markup.classN, Sorts.empty_algebra), [], + Name_Space.empty_table Markup.type_nameN); (* classes and sorts *)