diff -r 7b5a5116f3af -r 4cf3f6153eb8 src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Mon Jun 24 17:17:17 2013 +0200
+++ b/src/Pure/Pure.thy	Mon Jun 24 23:33:14 2013 +0200
@@ -13,6 +13,8 @@
     "identifier" "if" "imports" "in" "includes" "infix" "infixl"
     "infixr" "is" "keywords" "notes" "obtains" "open" "output"
     "overloaded" "pervasive" "shows" "structure" "unchecked" "where" "|"
+  and "theory" :: thy_begin
+  and "ML_file" :: thy_load
   and "header" :: diag
   and "chapter" :: thy_heading1
   and "section" :: thy_heading2