etc/isar-keywords.el
changeset 16701 abd0abd66387
parent 16419 0c3db621bbbd
child 16771 2b534c5b5625
     1.1 --- a/etc/isar-keywords.el	Wed Jul 06 00:07:53 2005 +0200
     1.2 +++ b/etc/isar-keywords.el	Wed Jul 06 00:08:57 2005 +0200
     1.3 @@ -45,6 +45,7 @@
     1.4      "consts_code"
     1.5      "context"
     1.6      "corollary"
     1.7 +    "cpodef"
     1.8      "datatype"
     1.9      "declare"
    1.10      "def"
    1.11 @@ -99,6 +100,7 @@
    1.12      "oracle"
    1.13      "parse_ast_translation"
    1.14      "parse_translation"
    1.15 +    "pcpodef"
    1.16      "pr"
    1.17      "prefer"
    1.18      "presume"
    1.19 @@ -400,9 +402,11 @@
    1.20  (defconst isar-keywords-theory-goal
    1.21    '("ax_specification"
    1.22      "corollary"
    1.23 +    "cpodef"
    1.24      "instance"
    1.25      "interpretation"
    1.26      "lemma"
    1.27 +    "pcpodef"
    1.28      "recdef_tc"
    1.29      "specification"
    1.30      "theorem"