changeset 30529 | fae488569faf |
parent 30463 | f1cb00030d4f |
child 30752 | 2823a89c76a4 |
1.1 --- a/etc/isar-keywords-ZF.el Sun Mar 15 15:59:43 2009 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Sun Mar 15 15:59:44 2009 +0100 1.3 @@ -31,6 +31,7 @@ 1.4 "apply_end" 1.5 "arities" 1.6 "assume" 1.7 + "attribute_setup" 1.8 "axclass" 1.9 "axiomatization" 1.10 "axioms" 1.11 @@ -349,6 +350,7 @@ 1.12 '("ML" 1.13 "abbreviation" 1.14 "arities" 1.15 + "attribute_setup" 1.16 "axclass" 1.17 "axiomatization" 1.18 "axioms"