
diff -r 2ce032a41a3a -r 4c3fa4dba79f src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Mon Jul 11 14:25:06 2016 +0200
+++ b/src/Pure/Pure.thy	Mon Jul 11 16:36:29 2016 +0200
@@ -8,8 +8,9 @@
 keywords
     "!!" "!" "+" "--" ":" ";" "<" "<=" "=" "=>" "?" "[" "\<comment>" "\<equiv>" "\<leftharpoondown>" "\<rightharpoonup>" "\<rightleftharpoons>"
     "\<subseteq>" "]" "attach" "binder" "for" "if" "in" "infix" "infixl" "infixr" "is"
-    "open" "output" "overloaded" "pervasive" "premises" "private" "qualified"
-    "structure" "unchecked" "where" "when" "|"
+    "open" "output" "overloaded" "pervasive" "premises" "structure" "unchecked"
+    "where" "when" "|"
+  and "private" "qualified" :: before_command
   and "assumes" "constrains" "defines" "fixes" "includes" "notes" "rewrites"
     "obtains" "shows" :: quasi_command
   and "text" "txt" :: document_body




