etc/isar-keywords.el

--- a/etc/isar-keywords.el	Mon Apr 29 06:13:36 2013 +0200
+++ b/etc/isar-keywords.el	Mon Apr 29 09:10:49 2013 +0200
@@ -46,7 +46,7 @@
     "class_deps"
     "classes"
     "classrel"
-    "codata"
+    "codatatype"
     "code_abort"
     "code_class"
     "code_const"
@@ -68,8 +68,8 @@
     "context"
     "corollary"
     "cpodef"
-    "data"
     "datatype"
+    "datatype_new"
     "declaration"
     "declare"
     "def"
@@ -482,7 +482,7 @@
     "class"
     "classes"
     "classrel"
-    "codata"
+    "codatatype"
     "code_abort"
     "code_class"
     "code_const"
@@ -498,8 +498,8 @@
     "coinductive_set"
     "consts"
     "context"
-    "data"
     "datatype"
+    "datatype_new"
     "declaration"
     "declare"
     "default_sort"