src/Pure/Isar/outer_keyword.ML

--- a/src/Pure/Isar/outer_keyword.ML	Thu Jul 10 13:37:31 2008 +0200
+++ b/src/Pure/Isar/outer_keyword.ML	Thu Jul 10 13:37:33 2008 +0200
@@ -49,6 +49,7 @@
   val command: string -> T -> unit
   val is_theory: string -> bool
   val is_proof: string -> bool
+  val is_diag: string -> bool
 end;
 
 structure OuterKeyword: OUTER_KEYWORD =
@@ -181,4 +182,6 @@
   (map kind_of [qed, qed_block, qed_global, prf_heading, prf_goal, prf_block, prf_open, prf_close,
     prf_chain, prf_decl, prf_asm, prf_asm_goal, prf_script]);
 
+val is_diag = command_category [kind_of diag];
+
 end;