--- a/etc/isar-keywords.el Fri Aug 30 12:43:39 2013 +0200
+++ b/etc/isar-keywords.el Fri Aug 30 13:23:23 2013 +0200
@@ -69,6 +69,7 @@
"cpodef"
"datatype"
"datatype_new"
+ "datatype_new_compat"
"declaration"
"declare"
"def"
@@ -167,7 +168,9 @@
"presume"
"pretty_setmargin"
"prf"
+ "primcorec"
"primrec"
+ "primrec_new"
"print_abbrevs"
"print_antiquotations"
"print_ast_translation"
@@ -345,6 +348,7 @@
"permissive"
"pervasive"
"rep_compat"
+ "sequential"
"shows"
"structure"
"type_class"
@@ -503,6 +507,7 @@
"context"
"datatype"
"datatype_new"
+ "datatype_new_compat"
"declaration"
"declare"
"default_sort"
@@ -550,6 +555,7 @@
"parse_translation"
"partial_function"
"primrec"
+ "primrec_new"
"print_ast_translation"
"print_translation"
"quickcheck_generator"
@@ -601,6 +607,7 @@
"nominal_inductive2"
"nominal_primrec"
"pcpodef"
+ "primcorec"
"quotient_definition"
"quotient_type"
"recdef_tc"