# HG changeset patch
# User blanchet
# Date 1377861803 -7200
# Node ID a1cf42366ceaba327f35f5d9c865bfa71be81357
# Parent  802ae7dae691bdca2c3944d1681d13f71c39bf11
updated keywords

diff -r 802ae7dae691 -r a1cf42366cea etc/isar-keywords.el
--- 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"