1.1 --- a/etc/isar-keywords-ZF.el	Tue Jul 10 09:23:17 2007 +0200
     1.2 +++ b/etc/isar-keywords-ZF.el	Tue Jul 10 09:24:14 2007 +0200
     1.3 @@ -251,6 +251,7 @@
     1.4      "recursor_eqns"
     1.5      "shows"
     1.6      "structure"
     1.7 +    "to"
     1.8      "type_elims"
     1.9      "type_intros"
    1.10      "unchecked"