1.1 --- a/etc/isar-keywords-ZF.el Fri Dec 12 17:00:42 2008 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Fri Dec 12 20:03:30 2008 +0100
1.3 @@ -40,6 +40,9 @@
1.4 "chapter"
1.5 "class"
1.6 "class_deps"
1.7 + "class_interpret"
1.8 + "class_interpretation"
1.9 + "class_locale"
1.10 "classes"
1.11 "classrel"
1.12 "codatatype"
1.13 @@ -349,6 +352,7 @@
1.14 "axiomatization"
1.15 "axioms"
1.16 "class"
1.17 + "class_locale"
1.18 "classes"
1.19 "classrel"
1.20 "codatatype"
1.21 @@ -411,7 +415,8 @@
1.22 '("inductive_cases"))
1.23
1.24 (defconst isar-keywords-theory-goal
1.25 - '("corollary"
1.26 + '("class_interpretation"
1.27 + "corollary"
1.28 "instance"
1.29 "interpretation"
1.30 "lemma"
1.31 @@ -438,7 +443,8 @@
1.32 "subsubsect"))
1.33
1.34 (defconst isar-keywords-proof-goal
1.35 - '("have"
1.36 + '("class_interpret"
1.37 + "have"
1.38 "hence"
1.39 "interpret"
1.40 "invoke"))