1.1 --- a/etc/isar-keywords-ZF.el Fri Apr 23 23:38:01 2010 +0200
1.2 +++ b/etc/isar-keywords-ZF.el Fri Apr 23 23:42:46 2010 +0200
1.3 @@ -162,6 +162,9 @@
1.4 "realizers"
1.5 "remove_thy"
1.6 "rep_datatype"
1.7 + "schematic_corollary"
1.8 + "schematic_lemma"
1.9 + "schematic_theorem"
1.10 "sect"
1.11 "section"
1.12 "setup"
1.13 @@ -425,6 +428,9 @@
1.14 "instance"
1.15 "interpretation"
1.16 "lemma"
1.17 + "schematic_corollary"
1.18 + "schematic_lemma"
1.19 + "schematic_theorem"
1.20 "subclass"
1.21 "sublocale"
1.22 "theorem"))