1.1 --- a/etc/isar-keywords.el	Thu Feb 20 21:45:08 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Thu Feb 20 21:55:37 2014 +0100
     1.3 @@ -154,7 +154,6 @@
     1.4      "note"
     1.5      "notepad"
     1.6      "obtain"
     1.7 -    "old_primrec"
     1.8      "oops"
     1.9      "oracle"
    1.10      "overloading"
    1.11 @@ -162,6 +161,7 @@
    1.12      "parse_translation"
    1.13      "partial_function"
    1.14      "pcpodef"
    1.15 +    "permanent_interpretation"
    1.16      "pr"
    1.17      "prefer"
    1.18      "presume"
    1.19 @@ -320,6 +320,7 @@
    1.20      "constrains"
    1.21      "datatypes"
    1.22      "defines"
    1.23 +    "defining"
    1.24      "file"
    1.25      "fixes"
    1.26      "for"
    1.27 @@ -546,7 +547,6 @@
    1.28      "nonterminal"
    1.29      "notation"
    1.30      "notepad"
    1.31 -    "old_primrec"
    1.32      "oracle"
    1.33      "overloading"
    1.34      "parse_ast_translation"
    1.35 @@ -608,6 +608,7 @@
    1.36      "nominal_inductive2"
    1.37      "nominal_primrec"
    1.38      "pcpodef"
    1.39 +    "permanent_interpretation"
    1.40      "primcorecursive"
    1.41      "quotient_definition"
    1.42      "quotient_type"