etc/isar-keywords-ZF.el
changeset 55385 169e12bbf9a3
parent 52549 802576856527
child 56069 451d5b73f8cf
     1.1 --- a/etc/isar-keywords-ZF.el	Mon Feb 10 22:07:50 2014 +0100
     1.2 +++ b/etc/isar-keywords-ZF.el	Mon Feb 10 22:08:18 2014 +0100
     1.3 @@ -24,7 +24,6 @@
     1.4      "also"
     1.5      "apply"
     1.6      "apply_end"
     1.7 -    "arities"
     1.8      "assume"
     1.9      "attribute_setup"
    1.10      "axiomatization"
    1.11 @@ -37,8 +36,6 @@
    1.12      "chapter"
    1.13      "class"
    1.14      "class_deps"
    1.15 -    "classes"
    1.16 -    "classrel"
    1.17      "codatatype"
    1.18      "code_datatype"
    1.19      "coinductive"
    1.20 @@ -346,13 +343,10 @@
    1.21    '("ML"
    1.22      "ML_file"
    1.23      "abbreviation"
    1.24 -    "arities"
    1.25      "attribute_setup"
    1.26      "axiomatization"
    1.27      "bundle"
    1.28      "class"
    1.29 -    "classes"
    1.30 -    "classrel"
    1.31      "codatatype"
    1.32      "code_datatype"
    1.33      "coinductive"