changeset 51313 | 102a0a0718c5 |
parent 51295 | 71fc3776c453 |
child 51381 | 4d691437c076 |
--- a/etc/isar-keywords.el Thu Feb 28 16:19:08 2013 +0100 +++ b/etc/isar-keywords.el Thu Feb 28 16:38:17 2013 +0100 @@ -30,7 +30,6 @@ "attribute_setup" "ax_specification" "axiomatization" - "axioms" "back" "bnf_def" "boogie_end" @@ -472,7 +471,6 @@ "atom_decl" "attribute_setup" "axiomatization" - "axioms" "boogie_end" "boogie_open" "bundle"