| changeset 46649 | bb185c45037e |
| parent 45666 | d83797ef0d2d |
| child 47005 | 421760a1efe7 |
--- a/src/Pure/type.ML Fri Feb 24 13:50:37 2012 +0100 +++ b/src/Pure/type.ML Fri Feb 24 18:14:06 2012 +0100 @@ -187,7 +187,7 @@ val empty_tsig = build_tsig ((Name_Space.empty Isabelle_Markup.classN, Sorts.empty_algebra), [], - Name_Space.empty_table Isabelle_Markup.typeN); + Name_Space.empty_table Isabelle_Markup.type_nameN); (* classes and sorts *)