 (defconst isar-keywords-diag
   '("ML_command"
     "ML_val"
-    "boogie_status"
     "class_deps"
     "code_deps"
     "code_thms"

    "atom_decl"
    "attribute_setup"
    "axiomatization"
    "boogie_end"
    "boogie_open"
    "bundle"
    "class"
    "classes"

(defconst isar-keywords-theory-goal
  '("ax_specification"
    "bnf"
    "code_pred"
    "corollary"
    "cpodef"
