etc/isar-keywords.el
changeset 36321 58d4dc6000fc
parent 36180 2db3711b2b03
child 36356 5ab0f8859f9f
     1.1 --- a/etc/isar-keywords.el	Fri Apr 23 23:38:01 2010 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Apr 23 23:42:46 2010 +0200
     1.3 @@ -220,6 +220,9 @@
     1.4      "remove_thy"
     1.5      "rep_datatype"
     1.6      "repdef"
     1.7 +    "schematic_corollary"
     1.8 +    "schematic_lemma"
     1.9 +    "schematic_theorem"
    1.10      "sect"
    1.11      "section"
    1.12      "setup"
    1.13 @@ -570,6 +573,9 @@
    1.14      "quotient_type"
    1.15      "recdef_tc"
    1.16      "rep_datatype"
    1.17 +    "schematic_corollary"
    1.18 +    "schematic_lemma"
    1.19 +    "schematic_theorem"
    1.20      "specification"
    1.21      "subclass"
    1.22      "sublocale"