     "print_ast_translation"
     "print_attributes"
     "print_binds"
+    "print_bnfs"
     "print_bundles"
     "print_cases"
     "print_claset"


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

    "print_antiquotations"
    "print_attributes"
    "print_binds"
    "print_bnfs"
    "print_bundles"
    "print_cases"
    "print_claset"
