1.1 --- a/etc/isar-keywords-ZF.el Wed Mar 21 21:24:13 2012 +0100
1.2 +++ b/etc/isar-keywords-ZF.el Wed Mar 21 23:26:35 2012 +0100
1.3 @@ -45,7 +45,6 @@
1.4 "commit"
1.5 "consts"
1.6 "context"
1.7 - "context_includes"
1.8 "corollary"
1.9 "datatype"
1.10 "declaration"
1.11 @@ -227,6 +226,7 @@
1.12 "if"
1.13 "imports"
1.14 "in"
1.15 + "includes"
1.16 "induction"
1.17 "infix"
1.18 "infixl"
1.19 @@ -357,7 +357,6 @@
1.20 "coinductive"
1.21 "consts"
1.22 "context"
1.23 - "context_includes"
1.24 "datatype"
1.25 "declaration"
1.26 "declare"