1.1 --- a/etc/isar-keywords.el Sun Dec 14 15:50:21 2008 +0100
1.2 +++ b/etc/isar-keywords.el Sun Dec 14 18:45:16 2008 +0100
1.3 @@ -45,6 +45,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 "code_abort"
1.13 @@ -418,6 +421,7 @@
1.14 "axiomatization"
1.15 "axioms"
1.16 "class"
1.17 + "class_locale"
1.18 "classes"
1.19 "classrel"
1.20 "code_abort"
1.21 @@ -501,6 +505,7 @@
1.22
1.23 (defconst isar-keywords-theory-goal
1.24 '("ax_specification"
1.25 + "class_interpretation"
1.26 "corollary"
1.27 "cpodef"
1.28 "function"
1.29 @@ -539,7 +544,8 @@
1.30 "subsubsect"))
1.31
1.32 (defconst isar-keywords-proof-goal
1.33 - '("have"
1.34 + '("class_interpret"
1.35 + "have"
1.36 "hence"
1.37 "interpret"
1.38 "invoke"))