etc/isar-keywords.el
changeset 41229 d797baa3d57c
parent 40970 3208d3b0a3dd
child 41249 26f12f98f50a
     1.1 --- a/etc/isar-keywords.el	Fri Dec 17 17:08:56 2010 +0100
     1.2 +++ b/etc/isar-keywords.el	Fri Dec 17 17:43:54 2010 +0100
     1.3 @@ -140,7 +140,7 @@
     1.4      "nominal_inductive"
     1.5      "nominal_inductive2"
     1.6      "nominal_primrec"
     1.7 -    "nonterminals"
     1.8 +    "nonterminal"
     1.9      "notation"
    1.10      "note"
    1.11      "notepad"
    1.12 @@ -487,7 +487,7 @@
    1.13      "no_translations"
    1.14      "no_type_notation"
    1.15      "nominal_datatype"
    1.16 -    "nonterminals"
    1.17 +    "nonterminal"
    1.18      "notation"
    1.19      "notepad"
    1.20      "oracle"