etc/isar-keywords.el
changeset 57064 8a1be5efe628
parent 56943 a3abb5222fce
child 57415 e721124f1b1e
     1.1 --- a/etc/isar-keywords.el	Thu May 22 15:31:36 2014 +0200
     1.2 +++ b/etc/isar-keywords.el	Thu May 22 15:49:36 2014 +0200
     1.3 @@ -149,9 +149,11 @@
     1.4      "no_translations"
     1.5      "no_type_notation"
     1.6      "nominal_datatype"
     1.7 +    "nominal_function"
     1.8      "nominal_inductive"
     1.9      "nominal_inductive2"
    1.10      "nominal_primrec"
    1.11 +    "nominal_termination"
    1.12      "nonterminal"
    1.13      "notation"
    1.14      "note"
    1.15 @@ -315,6 +317,7 @@
    1.16      "avoids"
    1.17      "begin"
    1.18      "binder"
    1.19 +    "binds"
    1.20      "checking"
    1.21      "class_instance"
    1.22      "class_relation"
    1.23 @@ -613,9 +616,11 @@
    1.24      "interpretation"
    1.25      "lemma"
    1.26      "lift_definition"
    1.27 +    "nominal_function"
    1.28      "nominal_inductive"
    1.29      "nominal_inductive2"
    1.30      "nominal_primrec"
    1.31 +    "nominal_termination"
    1.32      "pcpodef"
    1.33      "permanent_interpretation"
    1.34      "primcorecursive"