changeset 51313 | 102a0a0718c5 |
parent 51295 | 71fc3776c453 |
child 51585 | fcd5af4aac2b |
--- a/etc/isar-keywords-ZF.el Thu Feb 28 16:19:08 2013 +0100 +++ b/etc/isar-keywords-ZF.el Thu Feb 28 16:38:17 2013 +0100 @@ -28,7 +28,6 @@ "assume" "attribute_setup" "axiomatization" - "axioms" "back" "bundle" "by" @@ -349,7 +348,6 @@ "arities" "attribute_setup" "axiomatization" - "axioms" "bundle" "class" "classes"