etc/isar-keywords-ZF.el
changeset 12935 d697091d1591
parent 12926 cd0dd6e0bf5c
child 12954 850609c057e2
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Feb 25 18:02:22 2002 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Feb 25 20:33:40 2002 +0100
     1.3 @@ -191,6 +191,7 @@
     1.4      "output"
     1.5      "overloaded"
     1.6      "recursor_eqns"
     1.7 +    "shows"
     1.8      "structure"
     1.9      "type_elims"
    1.10      "type_intros"