etc/isar-keywords-ZF.el
changeset 36321 58d4dc6000fc
parent 36180 2db3711b2b03
child 36356 5ab0f8859f9f
     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"))