src/Pure/pure_thy.ML
changeset 46483 10a9c31a22b4
parent 46236 ae79f2978a67
child 49674 dbadb4d03cbc
     1.1 --- a/src/Pure/pure_thy.ML	Tue Feb 14 22:48:07 2012 +0100
     1.2 +++ b/src/Pure/pure_thy.ML	Wed Feb 15 13:24:22 2012 +0100
     1.3 @@ -139,7 +139,7 @@
     1.4      ("_constrainAbs", typ "'a",                        NoSyn),
     1.5      ("_position",   typ "id => id_position",           Delimfix "_"),
     1.6      ("_position",   typ "longid => longid_position",   Delimfix "_"),
     1.7 -    ("_position",   typ "xstr => xstr_position",       Delimfix "_"),
     1.8 +    ("_position",   typ "str_token => str_position",   Delimfix "_"),
     1.9      ("_type_constraint_", typ "'a",                    NoSyn),
    1.10      ("_context_const", typ "id_position => logic",     Delimfix "CONST _"),
    1.11      ("_context_const", typ "id_position => aprop",     Delimfix "CONST _"),