diff -r 348aed032cda -r 36ffe23b25f8 src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Sat May 25 15:00:53 2013 +0200
+++ b/src/Pure/Pure.thy	Sat May 25 15:37:53 2013 +0200
@@ -8,7 +8,7 @@
   keywords
     "!!" "!" "%" "(" ")" "+" "," "--" ":" "::" ";" "<" "<=" "=" "=="
     "=>" "?" "[" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>"
-    "\<rightleftharpoons>" "\<subseteq>" "]" "advanced" "and" "assumes"
+    "\<rightleftharpoons>" "\<subseteq>" "]" "and" "assumes"
     "attach" "begin" "binder" "constrains" "defines" "fixes" "for"
     "identifier" "if" "imports" "in" "includes" "infix" "infixl"
     "infixr" "is" "keywords" "notes" "obtains" "open" "output"