     "axiomatization"
     "axioms"
     "back"
+    "bnf_codata"
+    "bnf_data"
+    "bnf_def"
+    "bnf_of_typ"
     "boogie_end"
     "boogie_open"
     "boogie_status"

    "attribute_setup"
    "axiomatization"
    "axioms"
    "boogie_end"
    "boogie_open"
    "bundle"


(defconst isar-keywords-theory-goal
  '("ax_specification"
    "bnf_def"
    "boogie_vc"
    "code_pred"
    "corollary"
