1.1 --- a/etc/isar-keywords.el	Tue Jun 10 14:32:58 2008 +0200
     1.2 +++ b/etc/isar-keywords.el	Tue Jun 10 15:30:01 2008 +0200
     1.3 @@ -41,11 +41,11 @@
     1.4      "class_deps"
     1.5      "classes"
     1.6      "classrel"
     1.7 +    "code_abort"
     1.8      "code_class"
     1.9      "code_const"
    1.10      "code_datatype"
    1.11      "code_deps"
    1.12 -    "code_exception"
    1.13      "code_include"
    1.14      "code_instance"
    1.15      "code_library"
    1.16 @@ -257,7 +257,6 @@
    1.17      "constrains"
    1.18      "contains"
    1.19      "defines"
    1.20 -    "distinct"
    1.21      "file"
    1.22      "fixes"
    1.23      "for"
    1.24 @@ -268,12 +267,10 @@
    1.25      "imports"
    1.26      "in"
    1.27      "includes"
    1.28 -    "induction"
    1.29      "infix"
    1.30      "infixl"
    1.31      "infixr"
    1.32      "initially"
    1.33 -    "inject"
    1.34      "inputs"
    1.35      "internals"
    1.36      "is"
    1.37 @@ -413,10 +410,10 @@
    1.38      "class"
    1.39      "classes"
    1.40      "classrel"
    1.41 +    "code_abort"
    1.42      "code_class"
    1.43      "code_const"
    1.44      "code_datatype"
    1.45 -    "code_exception"
    1.46      "code_include"
    1.47      "code_instance"
    1.48      "code_library"
    1.49 @@ -476,7 +473,6 @@
    1.50      "recdef"
    1.51      "record"
    1.52      "refute_params"
    1.53 -    "rep_datatype"
    1.54      "setup"
    1.55      "simproc_setup"
    1.56      "statespace"
    1.57 @@ -507,6 +503,7 @@
    1.58      "nominal_primrec"
    1.59      "pcpodef"
    1.60      "recdef_tc"
    1.61 +    "rep_datatype"
    1.62      "specification"
    1.63      "subclass"
    1.64      "termination"