updated keywords
authorblanchet
Mon Feb 17 13:31:42 2014 +0100 (2014-02-17)
changeset 55532b751e6d7f4e9
parent 55531 601ca8efa000
child 55533 6260caf1d612
updated keywords
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Mon Feb 17 13:31:42 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Mon Feb 17 13:31:42 2014 +0100
     1.3 @@ -62,8 +62,8 @@
     1.4      "corollary"
     1.5      "cpodef"
     1.6      "datatype"
     1.7 +    "datatype_compat"
     1.8      "datatype_new"
     1.9 -    "datatype_new_compat"
    1.10      "declaration"
    1.11      "declare"
    1.12      "def"
    1.13 @@ -154,6 +154,7 @@
    1.14      "note"
    1.15      "notepad"
    1.16      "obtain"
    1.17 +    "old_primrec"
    1.18      "oops"
    1.19      "oracle"
    1.20      "overloading"
    1.21 @@ -169,7 +170,6 @@
    1.22      "primcorec"
    1.23      "primcorecursive"
    1.24      "primrec"
    1.25 -    "primrec_new"
    1.26      "print_abbrevs"
    1.27      "print_antiquotations"
    1.28      "print_ast_translation"
    1.29 @@ -500,8 +500,8 @@
    1.30      "consts"
    1.31      "context"
    1.32      "datatype"
    1.33 +    "datatype_compat"
    1.34      "datatype_new"
    1.35 -    "datatype_new_compat"
    1.36      "declaration"
    1.37      "declare"
    1.38      "default_sort"
    1.39 @@ -546,6 +546,7 @@
    1.40      "nonterminal"
    1.41      "notation"
    1.42      "notepad"
    1.43 +    "old_primrec"
    1.44      "oracle"
    1.45      "overloading"
    1.46      "parse_ast_translation"
    1.47 @@ -553,7 +554,6 @@
    1.48      "partial_function"
    1.49      "primcorec"
    1.50      "primrec"
    1.51 -    "primrec_new"
    1.52      "print_ast_translation"
    1.53      "print_translation"
    1.54      "quickcheck_generator"