1.1 --- a/etc/isar-keywords.el Mon Feb 10 22:07:50 2014 +0100
1.2 +++ b/etc/isar-keywords.el Mon Feb 10 22:08:18 2014 +0100
1.3 @@ -25,7 +25,6 @@
1.4 "also"
1.5 "apply"
1.6 "apply_end"
1.7 - "arities"
1.8 "assume"
1.9 "atom_decl"
1.10 "attribute_setup"
1.11 @@ -45,8 +44,6 @@
1.12 "chapter"
1.13 "class"
1.14 "class_deps"
1.15 - "classes"
1.16 - "classrel"
1.17 "codatatype"
1.18 "code_datatype"
1.19 "code_deps"
1.20 @@ -481,7 +478,6 @@
1.21 "ML_file"
1.22 "abbreviation"
1.23 "adhoc_overloading"
1.24 - "arities"
1.25 "atom_decl"
1.26 "attribute_setup"
1.27 "axiomatization"
1.28 @@ -490,8 +486,6 @@
1.29 "bundle"
1.30 "case_of_simps"
1.31 "class"
1.32 - "classes"
1.33 - "classrel"
1.34 "codatatype"
1.35 "code_datatype"
1.36 "code_identifier"