etc/isar-keywords.el
changeset 56943 a3abb5222fce
parent 56935 63667a4ea7e2
child 57064 8a1be5efe628
     1.1 --- a/etc/isar-keywords.el	Tue May 13 09:21:22 2014 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue May 13 09:21:22 2014 +0200
     1.3 @@ -35,7 +35,7 @@
     1.4      "axiomatization"
     1.5      "back"
     1.6      "bnf"
     1.7 -    "bnf_decl"
     1.8 +    "bnf_axiomatization"
     1.9      "boogie_file"
    1.10      "bundle"
    1.11      "by"
    1.12 @@ -494,7 +494,7 @@
    1.13      "atom_decl"
    1.14      "attribute_setup"
    1.15      "axiomatization"
    1.16 -    "bnf_decl"
    1.17 +    "bnf_axiomatization"
    1.18      "boogie_file"
    1.19      "bundle"
    1.20      "case_of_simps"