1.1 --- a/etc/isar-keywords-HOL-Nominal.el	Tue Jul 10 09:23:17 2007 +0200
     1.2 +++ b/etc/isar-keywords-HOL-Nominal.el	Tue Jul 10 09:24:14 2007 +0200
     1.3 @@ -276,6 +276,7 @@
     1.4      "sequential"
     1.5      "shows"
     1.6      "structure"
     1.7 +    "to"
     1.8      "unchecked"
     1.9      "uses"
    1.10      "where"))

     2.1 --- a/etc/isar-keywords-ZF.el	Tue Jul 10 09:23:17 2007 +0200
     2.2 +++ b/etc/isar-keywords-ZF.el	Tue Jul 10 09:24:14 2007 +0200
     2.3 @@ -251,6 +251,7 @@
     2.4      "recursor_eqns"
     2.5      "shows"
     2.6      "structure"
     2.7 +    "to"
     2.8      "type_elims"
     2.9      "type_intros"
    2.10      "unchecked"