1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Mon Jun 12 11:59:25 2006 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Mon Jun 12 15:58:12 2006 +0200
     1.3 @@ -46,9 +46,6 @@
     1.4      "code_generate"
     1.5      "code_library"
     1.6      "code_module"
     1.7 -    "code_primclass"
     1.8 -    "code_primconst"
     1.9 -    "code_primtyco"
    1.10      "code_purge"
    1.11      "code_serialize"
    1.12      "code_syntax_const"
    1.13 @@ -112,7 +109,7 @@
    1.14      "no_translations"
    1.15      "nominal_datatype"
    1.16      "nonterminals"
    1.17 -    "norm_by_eval"
    1.18 +    "normal_form"
    1.19      "note"
    1.20      "obtain"
    1.21      "oops"
    1.22 @@ -366,9 +363,6 @@
    1.23      "code_generate"
    1.24      "code_library"
    1.25      "code_module"
    1.26 -    "code_primclass"
    1.27 -    "code_primconst"
    1.28 -    "code_primtyco"
    1.29      "code_purge"
    1.30      "code_serialize"
    1.31      "code_syntax_const"
    1.32 @@ -398,7 +392,7 @@
    1.33      "no_translations"
    1.34      "nominal_datatype"
    1.35      "nonterminals"
    1.36 -    "norm_by_eval"
    1.37 +    "normal_form"
    1.38      "oracle"
    1.39      "parse_ast_translation"
    1.40      "parse_translation"

     2.1 --- a/etc/isar-keywords-ZF.el	Mon Jun 12 11:59:25 2006 +0200
     2.2 +++ b/etc/isar-keywords-ZF.el	Mon Jun 12 15:58:12 2006 +0200
     2.3 @@ -44,9 +44,6 @@
     2.4      "code_generate"
     2.5      "code_library"
     2.6      "code_module"
     2.7 -    "code_primclass"
     2.8 -    "code_primconst"
     2.9 -    "code_primtyco"
    2.10      "code_purge"
    2.11      "code_serialize"
    2.12      "code_syntax_const"
    2.13 @@ -107,7 +104,7 @@
    2.14      "no_syntax"
    2.15      "no_translations"
    2.16      "nonterminals"
    2.17 -    "norm_by_eval"
    2.18 +    "normal_form"
    2.19      "note"
    2.20      "obtain"
    2.21      "oops"
    2.22 @@ -354,9 +351,6 @@
    2.23      "code_generate"
    2.24      "code_library"
    2.25      "code_module"
    2.26 -    "code_primclass"
    2.27 -    "code_primconst"
    2.28 -    "code_primtyco"
    2.29      "code_purge"
    2.30      "code_serialize"
    2.31      "code_syntax_const"
    2.32 @@ -384,7 +378,7 @@
    2.33      "no_syntax"
    2.34      "no_translations"
    2.35      "nonterminals"
    2.36 -    "norm_by_eval"
    2.37 +    "normal_form"
    2.38      "oracle"
    2.39      "parse_ast_translation"
    2.40      "parse_translation"

     3.1 --- a/etc/isar-keywords.el	Mon Jun 12 11:59:25 2006 +0200
     3.2 +++ b/etc/isar-keywords.el	Mon Jun 12 15:58:12 2006 +0200
     3.3 @@ -46,9 +46,6 @@
     3.4      "code_generate"
     3.5      "code_library"
     3.6      "code_module"
     3.7 -    "code_primclass"
     3.8 -    "code_primconst"
     3.9 -    "code_primtyco"
    3.10      "code_purge"
    3.11      "code_serialize"
    3.12      "code_syntax_const"
    3.13 @@ -115,7 +112,7 @@
    3.14      "no_syntax"
    3.15      "no_translations"
    3.16      "nonterminals"
    3.17 -    "norm_by_eval"
    3.18 +    "normal_form"
    3.19      "note"
    3.20      "obtain"
    3.21      "oops"
    3.22 @@ -387,9 +384,6 @@
    3.23      "code_generate"
    3.24      "code_library"
    3.25      "code_module"
    3.26 -    "code_primclass"
    3.27 -    "code_primconst"
    3.28 -    "code_primtyco"
    3.29      "code_purge"
    3.30      "code_serialize"
    3.31      "code_syntax_const"
    3.32 @@ -421,7 +415,7 @@
    3.33      "no_syntax"
    3.34      "no_translations"
    3.35      "nonterminals"
    3.36 -    "norm_by_eval"
    3.37 +    "normal_form"
    3.38      "oracle"
    3.39      "parse_ast_translation"
    3.40      "parse_translation"