--- a/src/Pure/pure_thy.ML Tue Feb 14 22:48:07 2012 +0100
+++ b/src/Pure/pure_thy.ML Wed Feb 15 13:24:22 2012 +0100
@@ -139,7 +139,7 @@
("_constrainAbs", typ "'a", NoSyn),
("_position", typ "id => id_position", Delimfix "_"),
("_position", typ "longid => longid_position", Delimfix "_"),
- ("_position", typ "xstr => xstr_position", Delimfix "_"),
+ ("_position", typ "str_token => str_position", Delimfix "_"),
("_type_constraint_", typ "'a", NoSyn),
("_context_const", typ "id_position => logic", Delimfix "CONST _"),
("_context_const", typ "id_position => aprop", Delimfix "CONST _"),