--- 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"