--- a/src/HOL/List.thy Fri Nov 09 00:06:15 2001 +0100
+++ b/src/HOL/List.thy Fri Nov 09 00:09:47 2001 +0100
@@ -64,7 +64,7 @@
"[i..j]" == "[i..(Suc j)(]"
-syntax (symbols)
+syntax (xsymbols)
"@filter" :: [pttrn, 'a list, bool] => 'a list ("(1[_\\<in>_ ./ _])")