1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Mon Aug 28 18:18:31 2006 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Tue Aug 29 14:31:11 2006 +0200
     1.3 @@ -42,10 +42,11 @@
     1.4      "classes"
     1.5      "classrel"
     1.6      "clear_undos"
     1.7 -    "code_classapp"
     1.8 +    "code_class"
     1.9      "code_constapp"
    1.10      "code_constname"
    1.11      "code_generate"
    1.12 +    "code_instance"
    1.13      "code_library"
    1.14      "code_module"
    1.15      "code_purge"
    1.16 @@ -366,10 +367,11 @@
    1.17      "class"
    1.18      "classes"
    1.19      "classrel"
    1.20 -    "code_classapp"
    1.21 +    "code_class"
    1.22      "code_constapp"
    1.23      "code_constname"
    1.24      "code_generate"
    1.25 +    "code_instance"
    1.26      "code_library"
    1.27      "code_module"
    1.28      "code_purge"

     2.1 --- a/etc/isar-keywords-ZF.el	Mon Aug 28 18:18:31 2006 +0200
     2.2 +++ b/etc/isar-keywords-ZF.el	Tue Aug 29 14:31:11 2006 +0200
     2.3 @@ -40,10 +40,11 @@
     2.4      "classrel"
     2.5      "clear_undos"
     2.6      "codatatype"
     2.7 -    "code_classapp"
     2.8 +    "code_class"
     2.9      "code_constapp"
    2.10      "code_constname"
    2.11      "code_generate"
    2.12 +    "code_instance"
    2.13      "code_library"
    2.14      "code_module"
    2.15      "code_purge"
    2.16 @@ -352,10 +353,11 @@
    2.17      "classes"
    2.18      "classrel"
    2.19      "codatatype"
    2.20 -    "code_classapp"
    2.21 +    "code_class"
    2.22      "code_constapp"
    2.23      "code_constname"
    2.24      "code_generate"
    2.25 +    "code_instance"
    2.26      "code_library"
    2.27      "code_module"
    2.28      "code_purge"

     3.1 --- a/etc/isar-keywords.el	Mon Aug 28 18:18:31 2006 +0200
     3.2 +++ b/etc/isar-keywords.el	Tue Aug 29 14:31:11 2006 +0200
     3.3 @@ -42,10 +42,11 @@
     3.4      "classes"
     3.5      "classrel"
     3.6      "clear_undos"
     3.7 -    "code_classapp"
     3.8 +    "code_class"
     3.9      "code_constapp"
    3.10      "code_constname"
    3.11      "code_generate"
    3.12 +    "code_instance"
    3.13      "code_library"
    3.14      "code_module"
    3.15      "code_purge"
    3.16 @@ -387,10 +388,11 @@
    3.17      "class"
    3.18      "classes"
    3.19      "classrel"
    3.20 -    "code_classapp"
    3.21 +    "code_class"
    3.22      "code_constapp"
    3.23      "code_constname"
    3.24      "code_generate"
    3.25 +    "code_instance"
    3.26      "code_library"
    3.27      "code_module"
    3.28      "code_purge"