# HG changeset patch
# User huffman
# Date 1120601337 -7200
# Node ID abd0abd663872d5ed96a49ad7a5e10ca14b9fe8e
# Parent  92925e30ff59656a612ade7b2ee8f692840fc9e1
add keywords cpodef, pcpodef (for HOLCF)

diff -r 92925e30ff59 -r abd0abd66387 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"