etc/isar-keywords.el
changeset 18888 3b643f81b378
parent 18775 becdbf57eeb8
child 19069 a4b956f8b233
     1.1 --- a/etc/isar-keywords.el	Wed Feb 01 19:19:32 2006 +0100
     1.2 +++ b/etc/isar-keywords.el	Wed Feb 01 22:20:40 2006 +0100
     1.3 @@ -38,12 +38,10 @@
     1.4      "cd"
     1.5      "chapter"
     1.6      "class"
     1.7 -    "class_instance"
     1.8      "classes"
     1.9      "classrel"
    1.10      "clear_undos"
    1.11      "code_alias"
    1.12 -    "code_class"
    1.13      "code_generate"
    1.14      "code_library"
    1.15      "code_module"
    1.16 @@ -230,7 +228,6 @@
    1.17      "depending_on"
    1.18      "distinct"
    1.19      "file"
    1.20 -    "files"
    1.21      "fixes"
    1.22      "hide_action"
    1.23      "hints"
    1.24 @@ -251,6 +248,7 @@
    1.25      "monos"
    1.26      "morphisms"
    1.27      "notes"
    1.28 +    "obtains"
    1.29      "open"
    1.30      "output"
    1.31      "outputs"
    1.32 @@ -373,7 +371,6 @@
    1.33      "classes"
    1.34      "classrel"
    1.35      "code_alias"
    1.36 -    "code_class"
    1.37      "code_generate"
    1.38      "code_library"
    1.39      "code_module"
    1.40 @@ -439,7 +436,6 @@
    1.41  
    1.42  (defconst isar-keywords-theory-goal
    1.43    '("ax_specification"
    1.44 -    "class_instance"
    1.45      "corollary"
    1.46      "cpodef"
    1.47      "instance"