etc/isar-keywords.el

--- a/etc/isar-keywords.el	Wed Jul 06 00:07:53 2005 +0200
+++ b/etc/isar-keywords.el	Wed Jul 06 00:08:57 2005 +0200
@@ -45,6 +45,7 @@
     "consts_code"
     "context"
     "corollary"
+    "cpodef"
     "datatype"
     "declare"
     "def"
@@ -99,6 +100,7 @@
     "oracle"
     "parse_ast_translation"
     "parse_translation"
+    "pcpodef"
     "pr"
     "prefer"
     "presume"
@@ -400,9 +402,11 @@
 (defconst isar-keywords-theory-goal
   '("ax_specification"
     "corollary"
+    "cpodef"
     "instance"
     "interpretation"
     "lemma"
+    "pcpodef"
     "recdef_tc"
     "specification"
     "theorem"