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

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

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