1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Sat May 13 02:51:45 2006 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Sat May 13 02:51:46 2006 +0200
     1.3 @@ -251,6 +251,7 @@
     1.4      "shows"
     1.5      "structure"
     1.6      "target_atom"
     1.7 +    "unchecked"
     1.8      "uses"
     1.9      "where"))
    1.10  

     2.1 --- a/etc/isar-keywords-ZF.el	Sat May 13 02:51:45 2006 +0200
     2.2 +++ b/etc/isar-keywords-ZF.el	Sat May 13 02:51:46 2006 +0200
     2.3 @@ -47,6 +47,7 @@
     2.4      "code_primclass"
     2.5      "code_primconst"
     2.6      "code_primtyco"
     2.7 +    "code_purge"
     2.8      "code_serialize"
     2.9      "code_syntax_const"
    2.10      "code_syntax_tyco"
    2.11 @@ -239,6 +240,7 @@
    2.12      "target_atom"
    2.13      "type_elims"
    2.14      "type_intros"
    2.15 +    "unchecked"
    2.16      "uses"
    2.17      "where"))
    2.18  
    2.19 @@ -351,6 +353,7 @@
    2.20      "code_primclass"
    2.21      "code_primconst"
    2.22      "code_primtyco"
    2.23 +    "code_purge"
    2.24      "code_serialize"
    2.25      "code_syntax_const"
    2.26      "code_syntax_tyco"

     3.1 --- a/etc/isar-keywords.el	Sat May 13 02:51:45 2006 +0200
     3.2 +++ b/etc/isar-keywords.el	Sat May 13 02:51:46 2006 +0200
     3.3 @@ -272,6 +272,7 @@
     3.4      "to"
     3.5      "transitions"
     3.6      "transrel"
     3.7 +    "unchecked"
     3.8      "uses"
     3.9      "where"))
    3.10