etc/isar-keywords-ZF.el
changeset 36321 58d4dc6000fc
parent 36180 2db3711b2b03
child 36356 5ab0f8859f9f
--- a/etc/isar-keywords-ZF.el	Fri Apr 23 23:38:01 2010 +0200
+++ b/etc/isar-keywords-ZF.el	Fri Apr 23 23:42:46 2010 +0200
@@ -162,6 +162,9 @@
     "realizers"
     "remove_thy"
     "rep_datatype"
+    "schematic_corollary"
+    "schematic_lemma"
+    "schematic_theorem"
     "sect"
     "section"
     "setup"
@@ -425,6 +428,9 @@
     "instance"
     "interpretation"
     "lemma"
+    "schematic_corollary"
+    "schematic_lemma"
+    "schematic_theorem"
     "subclass"
     "sublocale"
     "theorem"))