changeset 49016 | 640ce226a973 |
parent 48983 | f9f900c1599e |
child 49020 | f379cf5d71bd |
--- a/etc/isar-keywords.el Thu Aug 30 09:47:46 2012 +0200 +++ b/etc/isar-keywords.el Thu Aug 30 09:47:46 2012 +0200 @@ -35,7 +35,6 @@ "bnf_codata" "bnf_data" "bnf_def" - "bnf_of_typ" "boogie_end" "boogie_open" "boogie_status" @@ -471,7 +470,6 @@ "axioms" "bnf_codata" "bnf_data" - "bnf_of_typ" "boogie_end" "boogie_open" "bundle"