changeset 28895 | 4e2914c2f8c5 |
parent 28721 | 21170e10c745 |
child 29113 | fb31b7a6c858 |
child 29229 | 6f6262027054 |
1.1 --- a/etc/isar-keywords-ZF.el Thu Nov 27 10:28:27 2008 +0100 1.2 +++ b/etc/isar-keywords-ZF.el Thu Nov 27 10:29:07 2008 +0100 1.3 @@ -166,6 +166,7 @@ 1.4 "simproc_setup" 1.5 "sorry" 1.6 "subclass" 1.7 + "sublocale" 1.8 "subsect" 1.9 "subsection" 1.10 "subsubsect" 1.11 @@ -415,6 +416,7 @@ 1.12 "interpretation" 1.13 "lemma" 1.14 "subclass" 1.15 + "sublocale" 1.16 "theorem")) 1.17 1.18 (defconst isar-keywords-qed