--- a/src/Pure/pure_thy.ML Mon Nov 14 17:47:59 2011 +0100
+++ b/src/Pure/pure_thy.ML Mon Nov 14 17:48:26 2011 +0100
@@ -135,6 +135,7 @@
("_constrainAbs", typ "'a", NoSyn),
("_position", typ "id => id_position", Delimfix "_"),
("_position", typ "longid => longid_position", Delimfix "_"),
+ ("_position", typ "xstr => xstr_position", Delimfix "_"),
("_type_constraint_", typ "'a", NoSyn),
("_context_const", typ "id_position => logic", Delimfix "CONST _"),
("_context_const", typ "id_position => aprop", Delimfix "CONST _"),