etc/isar-keywords-ZF.el
changeset 35279 4f6760122b2a
parent 33874 1db5ca5eadf5
child 35414 cc8e4276d093
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Feb 22 10:28:00 2010 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Feb 22 10:28:49 2010 +0100
     1.3 @@ -44,6 +44,7 @@
     1.4      "classes"
     1.5      "classrel"
     1.6      "codatatype"
     1.7 +    "code_abstype"
     1.8      "code_datatype"
     1.9      "code_library"
    1.10      "code_module"
    1.11 @@ -413,7 +414,8 @@
    1.12    '("inductive_cases"))
    1.13  
    1.14  (defconst isar-keywords-theory-goal
    1.15 -  '("corollary"
    1.16 +  '("code_abstype"
    1.17 +    "corollary"
    1.18      "instance"
    1.19      "interpretation"
    1.20      "lemma"