diff -r 8d36bc5eaed3 -r 82a71046dce8 src/Doc/antiquote_setup.ML
--- a/src/Doc/antiquote_setup.ML	Thu Nov 06 11:44:41 2014 +0100
+++ b/src/Doc/antiquote_setup.ML	Thu Nov 06 13:36:19 2014 +0100
@@ -191,6 +191,9 @@
 
 fun no_check _ _ = true;
 
+fun is_keyword _ (name, _) =
+  Keyword.is_keyword (Keyword.get_keywords ()) name;
+
 fun check_command ctxt (name, pos) =
   is_some (Keyword.command_keyword name) andalso
     let
@@ -259,8 +262,8 @@
   Theory.setup
    (entity_antiqs no_check "" @{binding syntax} #>
     entity_antiqs check_command "isacommand" @{binding command} #>
-    entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" @{binding keyword} #>
-    entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" @{binding element} #>
+    entity_antiqs is_keyword "isakeyword" @{binding keyword} #>
+    entity_antiqs is_keyword "isakeyword" @{binding element} #>
     entity_antiqs (can o Method.check_name) "" @{binding method} #>
     entity_antiqs (can o Attrib.check_name) "" @{binding attribute} #>
     entity_antiqs no_check "" @{binding fact} #>