diff -r 601ca8efa000 -r b751e6d7f4e9 etc/isar-keywords.el
--- a/etc/isar-keywords.el	Mon Feb 17 13:31:42 2014 +0100
+++ b/etc/isar-keywords.el	Mon Feb 17 13:31:42 2014 +0100
@@ -62,8 +62,8 @@
     "corollary"
     "cpodef"
     "datatype"
+    "datatype_compat"
     "datatype_new"
-    "datatype_new_compat"
     "declaration"
     "declare"
     "def"
@@ -154,6 +154,7 @@
     "note"
     "notepad"
     "obtain"
+    "old_primrec"
     "oops"
     "oracle"
     "overloading"
@@ -169,7 +170,6 @@
     "primcorec"
     "primcorecursive"
     "primrec"
-    "primrec_new"
     "print_abbrevs"
     "print_antiquotations"
     "print_ast_translation"
@@ -500,8 +500,8 @@
     "consts"
     "context"
     "datatype"
+    "datatype_compat"
     "datatype_new"
-    "datatype_new_compat"
     "declaration"
     "declare"
     "default_sort"
@@ -546,6 +546,7 @@
     "nonterminal"
     "notation"
     "notepad"
+    "old_primrec"
     "oracle"
     "overloading"
     "parse_ast_translation"
@@ -553,7 +554,6 @@
     "partial_function"
     "primcorec"
     "primrec"
-    "primrec_new"
     "print_ast_translation"
     "print_translation"
     "quickcheck_generator"