diff -r 7f9a9ec1c94d -r fae488569faf etc/isar-keywords.el
--- a/etc/isar-keywords.el	Sun Mar 15 15:59:43 2009 +0100
+++ b/etc/isar-keywords.el	Sun Mar 15 15:59:44 2009 +0100
@@ -35,6 +35,7 @@
     "atp_info"
     "atp_kill"
     "atp_messages"
+    "attribute_setup"
     "automaton"
     "ax_specification"
     "axclass"
@@ -421,6 +422,7 @@
     "abbreviation"
     "arities"
     "atom_decl"
+    "attribute_setup"
     "automaton"
     "axclass"
     "axiomatization"