1.1 --- a/etc/isar-keywords.el	Fri Aug 30 12:43:39 2013 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Aug 30 13:23:23 2013 +0200
     1.3 @@ -69,6 +69,7 @@
     1.4      "cpodef"
     1.5      "datatype"
     1.6      "datatype_new"
     1.7 +    "datatype_new_compat"
     1.8      "declaration"
     1.9      "declare"
    1.10      "def"
    1.11 @@ -167,7 +168,9 @@
    1.12      "presume"
    1.13      "pretty_setmargin"
    1.14      "prf"
    1.15 +    "primcorec"
    1.16      "primrec"
    1.17 +    "primrec_new"
    1.18      "print_abbrevs"
    1.19      "print_antiquotations"
    1.20      "print_ast_translation"
    1.21 @@ -345,6 +348,7 @@
    1.22      "permissive"
    1.23      "pervasive"
    1.24      "rep_compat"
    1.25 +    "sequential"
    1.26      "shows"
    1.27      "structure"
    1.28      "type_class"
    1.29 @@ -503,6 +507,7 @@
    1.30      "context"
    1.31      "datatype"
    1.32      "datatype_new"
    1.33 +    "datatype_new_compat"
    1.34      "declaration"
    1.35      "declare"
    1.36      "default_sort"
    1.37 @@ -550,6 +555,7 @@
    1.38      "parse_translation"
    1.39      "partial_function"
    1.40      "primrec"
    1.41 +    "primrec_new"
    1.42      "print_ast_translation"
    1.43      "print_translation"
    1.44      "quickcheck_generator"
    1.45 @@ -601,6 +607,7 @@
    1.46      "nominal_inductive2"
    1.47      "nominal_primrec"
    1.48      "pcpodef"
    1.49 +    "primcorec"
    1.50      "quotient_definition"
    1.51      "quotient_type"
    1.52      "recdef_tc"