updated keywords using proper "isabelle update_keywords";
authorwenzelm
Fri Sep 28 11:46:57 2012 +0200 (2012-09-28)
changeset 4964047431a27fefe
parent 49639 204bd497aa4c
child 49641 9b831f93d4e8
updated keywords using proper "isabelle update_keywords";
etc/isar-keywords.el
     1.1 --- a/etc/isar-keywords.el	Fri Sep 28 11:31:51 2012 +0200
     1.2 +++ b/etc/isar-keywords.el	Fri Sep 28 11:46:57 2012 +0200
     1.3 @@ -48,6 +48,7 @@
     1.4      "classes"
     1.5      "classrel"
     1.6      "codata"
     1.7 +    "codata_raw"
     1.8      "code_abort"
     1.9      "code_class"
    1.10      "code_const"
    1.11 @@ -70,6 +71,7 @@
    1.12      "corollary"
    1.13      "cpodef"
    1.14      "data"
    1.15 +    "data_raw"
    1.16      "datatype"
    1.17      "declaration"
    1.18      "declare"
    1.19 @@ -340,7 +342,6 @@
    1.20      "overloaded"
    1.21      "permissive"
    1.22      "pervasive"
    1.23 -    "rep_compat"
    1.24      "shows"
    1.25      "structure"
    1.26      "unchecked"
    1.27 @@ -481,6 +482,7 @@
    1.28      "classes"
    1.29      "classrel"
    1.30      "codata"
    1.31 +    "codata_raw"
    1.32      "code_abort"
    1.33      "code_class"
    1.34      "code_const"
    1.35 @@ -497,6 +499,7 @@
    1.36      "consts"
    1.37      "context"
    1.38      "data"
    1.39 +    "data_raw"
    1.40      "datatype"
    1.41      "declaration"
    1.42      "declare"