etc/isar-keywords.el
changeset 55385 169e12bbf9a3
parent 55384 1107de77c633
child 55447 aa41ecbdc205
     1.1 --- a/etc/isar-keywords.el	Mon Feb 10 22:07:50 2014 +0100
     1.2 +++ b/etc/isar-keywords.el	Mon Feb 10 22:08:18 2014 +0100
     1.3 @@ -25,7 +25,6 @@
     1.4      "also"
     1.5      "apply"
     1.6      "apply_end"
     1.7 -    "arities"
     1.8      "assume"
     1.9      "atom_decl"
    1.10      "attribute_setup"
    1.11 @@ -45,8 +44,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      "code_deps"
    1.20 @@ -481,7 +478,6 @@
    1.21      "ML_file"
    1.22      "abbreviation"
    1.23      "adhoc_overloading"
    1.24 -    "arities"
    1.25      "atom_decl"
    1.26      "attribute_setup"
    1.27      "axiomatization"
    1.28 @@ -490,8 +486,6 @@
    1.29      "bundle"
    1.30      "case_of_simps"
    1.31      "class"
    1.32 -    "classes"
    1.33 -    "classrel"
    1.34      "codatatype"
    1.35      "code_datatype"
    1.36      "code_identifier"