1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Mon Nov 27 12:11:43 2006 +0100
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Mon Nov 27 12:12:18 2006 +0100
     1.3 @@ -116,6 +116,7 @@
     1.4      "no_syntax"
     1.5      "no_translations"
     1.6      "nominal_datatype"
     1.7 +    "nominal_primrec"
     1.8      "nonterminals"
     1.9      "normal_form"
    1.10      "notation"
    1.11 @@ -240,6 +241,7 @@
    1.12      "file"
    1.13      "fixes"
    1.14      "for"
    1.15 +    "freshness_context"
    1.16      "hints"
    1.17      "if"
    1.18      "imports"
    1.19 @@ -251,6 +253,7 @@
    1.20      "infixr"
    1.21      "inject"
    1.22      "intros"
    1.23 +    "invariant"
    1.24      "is"
    1.25      "monos"
    1.26      "morphisms"
    1.27 @@ -453,6 +456,7 @@
    1.28      "instance"
    1.29      "interpretation"
    1.30      "lemma"
    1.31 +    "nominal_primrec"
    1.32      "recdef_tc"
    1.33      "specification"
    1.34      "termination"