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

    "axiomatization"
    "back"
    "bnf"
    "boogie_end"
    "boogie_open"
    "boogie_status"
    "boogie_vc"
    "bundle"
    "by"
    "cannot_undo"

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