etc/isar-keywords-ZF.el
changeset 47069 451fc10a81f3
parent 47066 8a6124d09ff5
child 48709 719f458cd89e
--- a/etc/isar-keywords-ZF.el	Wed Mar 21 21:24:13 2012 +0100
+++ b/etc/isar-keywords-ZF.el	Wed Mar 21 23:26:35 2012 +0100
@@ -45,7 +45,6 @@
     "commit"
     "consts"
     "context"
-    "context_includes"
     "corollary"
     "datatype"
     "declaration"
@@ -227,6 +226,7 @@
     "if"
     "imports"
     "in"
+    "includes"
     "induction"
     "infix"
     "infixl"
@@ -357,7 +357,6 @@
     "coinductive"
     "consts"
     "context"
-    "context_includes"
     "datatype"
     "declaration"
     "declare"