changeset 24919 | ad3a8569759c |
parent 24912 | 52bc004950c4 |
child 24945 | 2c27817065bc |
1.1 --- a/etc/isar-keywords-ZF.el Mon Oct 08 22:03:31 2007 +0200 1.2 +++ b/etc/isar-keywords-ZF.el Mon Oct 08 22:06:32 2007 +0200 1.3 @@ -159,6 +159,7 @@ 1.4 "show" 1.5 "simproc_setup" 1.6 "sorry" 1.7 + "subclass" 1.8 "subsect" 1.9 "subsection" 1.10 "subsubsect" 1.11 @@ -407,6 +408,7 @@ 1.12 "instance_proof" 1.13 "interpretation" 1.14 "lemma" 1.15 + "subclass" 1.16 "theorem")) 1.17 1.18 (defconst isar-keywords-qed