# HG changeset patch
# User traytel
# Date 1399965682 -7200
# Node ID a3abb5222fce65f26d702f1262aa3e4f394413b9
# Parent  5fff4dc31d34f28c4da8cddc83b7c933ae6330b3
updated keywords

diff -r 5fff4dc31d34 -r a3abb5222fce etc/isar-keywords.el
--- a/etc/isar-keywords.el	Tue May 13 09:21:22 2014 +0200
+++ b/etc/isar-keywords.el	Tue May 13 09:21:22 2014 +0200
@@ -35,7 +35,7 @@
     "axiomatization"
     "back"
     "bnf"
-    "bnf_decl"
+    "bnf_axiomatization"
     "boogie_file"
     "bundle"
     "by"
@@ -494,7 +494,7 @@
     "atom_decl"
     "attribute_setup"
     "axiomatization"
-    "bnf_decl"
+    "bnf_axiomatization"
     "boogie_file"
     "bundle"
     "case_of_simps"