--- a/etc/isar-keywords-ZF.el Fri Sep 10 15:48:43 2010 +0200
+++ b/etc/isar-keywords-ZF.el Fri Sep 10 15:55:09 2010 +0200
@@ -44,7 +44,6 @@
"code_module"
"coinductive"
"commit"
- "constdefs"
"consts"
"consts_code"
"context"
@@ -354,7 +353,6 @@
"code_library"
"code_module"
"coinductive"
- "constdefs"
"consts"
"consts_code"
"context"
--- a/etc/isar-keywords.el Fri Sep 10 15:48:43 2010 +0200
+++ b/etc/isar-keywords.el Fri Sep 10 15:55:09 2010 +0200
@@ -63,7 +63,6 @@
"coinductive"
"coinductive_set"
"commit"
- "constdefs"
"consts"
"consts_code"
"context"
@@ -449,7 +448,6 @@
"code_type"
"coinductive"
"coinductive_set"
- "constdefs"
"consts"
"consts_code"
"context"