     "consts_code"
     "context"
     "corollary"
+    "cpodef"
     "datatype"
     "declare"
     "def"

(defconst isar-keywords-theory-goal
  '("ax_specification"
    "corollary"
    "instance"
    "interpretation"
    "lemma"
    "recdef_tc"
    "specification"
    "theorem"

    "oracle"
    "parse_ast_translation"
    "parse_translation"
    "pcpodef"
    "pr"
    "prefer"
    "presume"
