changeset 36321 | 58d4dc6000fc |
parent 36180 | 2db3711b2b03 |
child 36356 | 5ab0f8859f9f |
--- a/etc/isar-keywords.el Fri Apr 23 23:38:01 2010 +0200 +++ b/etc/isar-keywords.el Fri Apr 23 23:42:46 2010 +0200 @@ -220,6 +220,9 @@ "remove_thy" "rep_datatype" "repdef" + "schematic_corollary" + "schematic_lemma" + "schematic_theorem" "sect" "section" "setup" @@ -570,6 +573,9 @@ "quotient_type" "recdef_tc" "rep_datatype" + "schematic_corollary" + "schematic_lemma" + "schematic_theorem" "specification" "subclass" "sublocale"